Def CategoryTheory.Dial.tensorObj

Modification history