Def CategoryTheory.Dial.leftUnitor

Modification history