Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.bot_eq_zero

Modification history

2022-06-15 04:54

src/data/multiset/basic.lean

refactor(src/algebra/order/monoid): make bot_eq_zero a simp lemma only when the order is linear (#14553)

Added multiset.bot_eq_zero View on Github →