Theorem CategoryTheory.MorphismProperty.epimorphisms.infer_property

Modification history