Def Bimon_.trivialTo

Modification history

2024-12-08 15:02
Mathlib/CategoryTheory/Monoidal/Bimon_.lean
chore(*): rename some `defs` to `camelCase` (#19795)
Added Bimon_.trivialToView on Github →