Theorem CategoryTheory.le_isoClosure

Modification history