Vector bundle isomorphism
= Vector bundle isomorphism
{title2=$E\cong F$}
A <vector bundle morphism> is an isomorphism if it admits an inverse of the same kind. A smooth fiberwise bijective bundle morphism automatically has a smooth inverse, because inverse <matrices> in <vector bundle trivializations> depend smoothly on their entries wherever their determinants are nonzero.