/sci/ - Science & Math

Would you say it's okay if I simply said that [eqn]\Phi \circ \Phi^{-1} = id_{V^{I}}[/eqn] is obviously true or do I have to put more effort in this? Abb(I, V) is the set of all mappings from the index set I to a vector space V.