Theorem CategoryTheory.ObjectProperty.prop_of_iso

Modification history