Theorem CategoryTheory.braiding_inv_tensorUnit_left

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_leftView on Github →