fact: Definition isisomorphism_natural_transformation `{Funext} C D F G (T : NaturalTransformation F G) `{forall x, IsIsomorphism (T x)} : @IsIsomorphism (C -> D) F G T.
imports: Category.Core Functor.Core NaturalTransformation.Paths FunctorCategory.Core Category.Morphisms NaturalTransformation.Core Basics.Tactics