Theorem CategoryTheory.Over.braiding_inv_left

Modification history