Theorem CategoryTheory.MorphismProperty.pretopology_le

Modification history