Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-05 09:21 f82f5f2a

View on Github →

refactor(algebra): canonically_ordered_monoid extends order_bot

Estimated changes

Modified src/algebra/ordered_group.lean

added theorem bot_eq_zero

Modified src/algebra/ordered_ring.lean

Modified src/data/multiset.lean

Modified src/data/nat/enat.lean

Modified src/data/real/nnreal.lean

Modified src/set_theory/cardinal.lean