Theorem CategoryTheory.ObjectProperty.prop_of_isIso

Modification history