Def CommMon_.EquivLaxBraidedFunctorPUnit.laxBraidedToCommMon

Modification history

2024-01-29 15:34
Mathlib/CategoryTheory/Monoidal/CommMon_.lean
chore: fix Punit->PUnit in CommMon_ (#10089)
Added CommMon_.EquivLaxBraidedFunctorPUnit.laxBraidedToCommMonView on Github →