Theorem CategoryTheory.MorphismProperty.FunctorsInverting.hom_ext

Modification history