Theorem CategoryTheory.Dial.leftUnitor_naturality

Modification history