Theorem CategoryTheory.Dial.braiding_naturality_left

Modification history