Def CategoryTheory.ObjectProperty.ιOfLECompιIso

Modification history