Theorem CategoryTheory.monotone_isoClosure

Modification history