Def CategoryTheory.ObjectProperty.liftCompιIso

Modification history