Def Bimon_.toTrivial

Modification history

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