Theorem CategoryTheory.braiding_inv_tensorUnit_right

Modification history

2024-05-21 15:09
Mathlib/CategoryTheory/Monoidal/Braided/Basic.lean
feat(Category/Theory/Monoidal): monoids in a symmetric category form a symmetric category (#13058)
Added CategoryTheory.braiding_inv_tensorUnit_rightView on Github →