Theorem CategoryTheory.Dial.pentagon

Modification history