Theorem CategoryTheory.BraidedCategory.braiding_tensor_left_inv

Modification history