Theorem CategoryTheory.Dial.symmetry

Modification history