Def Bimon_.to_trivial

Modification history

2024-12-08 15:02
Mathlib/CategoryTheory/Monoidal/Bimon_.lean
chore(*): rename some `defs` to `camelCase` (#19795)
Deleted Bimon_.to_trivialView on Github →
2024-08-14 09:17
Mathlib/CategoryTheory/Monoidal/Bimon_.lean
feat(CategoryTheory/Monoidal): Hopf monoids (#13317) …
Added Bimon_.to_trivialView on Github →