Theorem CategoryTheory.Dial.associator_naturality

Modification history