Theorem CategoryTheory.BraidedCategory.braiding_tensor_right_inv

Modification history