Theorem CategoryTheory.MorphismProperty.universally_mono

Modification history