Theorem le_add_of_nonneg_left'
Modification history
2020-06-09 17:36
src/algebra/ordered_group.lean
refactor(algebra/ordered_group): multiplicative versions of ordered monoids/groups (#2844) …
Deleted le_add_of_nonneg_left'View on Github →2019-09-14 05:00
src/algebra/ordered_group.lean
chore(data/*): flipping inequalities (#1436) …
Modified le_add_of_nonneg_left'View on Github →