Mathlib Changelog
v4
Changelog
About
Github
Def
Bimon_.toTrivial
Modification history
2025-09-17 06:03
Mathlib/CategoryTheory/Monoidal/Bimon_.lean
chore: rename `Mon_`, `Comon_`, ... to `Mon`, `Comon`, etc (#29660) …
Deleted
Bimon_.toTrivial
View on Github →
2024-12-08 15:02
Mathlib/CategoryTheory/Monoidal/Bimon_.lean
chore(*): rename some `defs` to `camelCase` (#19795)
Added
Bimon_.toTrivial
View on Github →