Theorem CategoryTheory.ObjectProperty.prop_isoClosure

Modification history