Theorem CategoryTheory.BraidedCategory.braiding_tensor_right_hom

Modification history