Theorem CategoryTheory.Dial.triangle

Modification history