Theorem CategoryTheory.MorphismProperty.monomorphisms.infer_property

Modification history