Theorem CategoryTheory.monoidalComp_refl

Modification history

2024-03-06 21:35
Mathlib/Tactic/CategoryTheory/MonoidalComp.lean
chore(CategoryTheory/MonoidalCategory): split the monoidal composition (#11149) …
Added CategoryTheory.monoidalComp_reflView on Github →