Theorem CategoryTheory.ObjectProperty.prop_inverseImage_iff

Modification history