Theorem CategoryTheory.MorphismProperty.universally_le

Modification history