Theorem CategoryTheory.Dial.braiding_naturality_right

Modification history