Theorem CategoryTheory.ObjectProperty.monotone_isoClosure

Modification history