Theorem CategoryTheory.MorphismProperty.presheaf_monomorphisms_le_monomorphisms

Modification history