Theorem CategoryTheory.ObjectProperty.isoClosure_le_iff

Modification history