Theorem CategoryTheory.MorphismProperty.functorCategory_epimorphisms

Modification history