Theorem CategoryTheory.Dial.hexagon_reverse

Modification history