Def CategoryTheory.ObjectProperty.inverseImage

Modification history