Def CategoryTheory.ObjectProperty.liftCompιOfLEIso

Modification history