Def Bimon_.trivial_to

Modification history

2024-12-08 15:02

Mathlib/CategoryTheory/Monoidal/Bimon_.lean

chore(*): rename some `defs` to `camelCase` (#19795)

Deleted Bimon_.trivial_to View on Github →

2024-08-14 09:17

Mathlib/CategoryTheory/Monoidal/Bimon_.lean

feat(CategoryTheory/Monoidal): Hopf monoids (#13317) …

Added Bimon_.trivial_to View on Github →