Theorem CategoryTheory.braiding_tensorUnit_left

Modification history

2024-02-02 06:26

Mathlib/CategoryTheory/Monoidal/Braided.lean

refactor(CategoryTheory/Monoidal/Braided): use monoidalComp in the proofs (#10078) …

Added CategoryTheory.braiding_tensorUnit_left View on Github →