Theorem CategoryTheory.ObjectProperty.le_isoClosure

Modification history