Def CommMon_.EquivLaxBraidedFunctorPunit.counitIso

Modification history

2024-01-29 15:34
Mathlib/CategoryTheory/Monoidal/CommMon_.lean
chore: fix Punit->PUnit in CommMon_ (#10089)
Deleted CommMon_.EquivLaxBraidedFunctorPunit.counitIsoView on Github →
2023-06-14 07:51
Mathlib/CategoryTheory/Monoidal/CommMon_.lean
feat: port CategoryTheory.Monoidal.CommMon_ (#5012)
Added CommMon_.EquivLaxBraidedFunctorPunit.counitIsoView on Github →