Theorem CategoryTheory.ObjectProperty.prop_isoClosure_iff

Modification history