Def CategoryTheory.Dial.leftUnitorImpl

Modification history