Theorem CategoryTheory.Center.whiskerRight_comm

Modification history

2024-07-11 10:12

Mathlib/CategoryTheory/Monoidal/Center.lean

chore: add missing spaces around : (#13658) …

Modified CategoryTheory.Center.whiskerRight_comm View on Github →

2024-02-02 06:26

Mathlib/CategoryTheory/Monoidal/Center.lean

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

Added CategoryTheory.Center.whiskerRight_comm View on Github →