Theorem CategoryTheory.ObjectProperty.prop_iff_of_isIso

Modification history