Def CategoryTheory.Dial.rightUnitorImpl

Modification history