Theorem CategoryTheory.MorphismProperty.monomorphisms.iff

Modification history