Theorem CategoryTheory.MorphismProperty.monotone_isoClosure

Modification history