Theorem CategoryTheory.MorphismProperty.presheaf_mono_of_le

Modification history