Theorem CategoryTheory.Dial.hexagon_forward

Modification history