Mathlib Changelog
v4
Changelog
About
Github
Def
CommMon_.EquivLaxBraidedFunctorPUnit.unitIso
Modification history
2025-05-09 20:40
Mathlib/CategoryTheory/Monoidal/CommMon_.lean
feat: an equivalence of categories lifts to an equivalence of their group objects (#23912) …
Deleted
CommMon_.EquivLaxBraidedFunctorPUnit.unitIso
View on Github →
2024-01-29 15:34
Mathlib/CategoryTheory/Monoidal/CommMon_.lean
chore: fix Punit->PUnit in CommMon_ (#10089)
Added
CommMon_.EquivLaxBraidedFunctorPUnit.unitIso
View on Github →