Theorem add_eq_zero_iff_eq_zero_and_eq_zero_of_nonneg_of_nonneg
Modification history
2020-06-09 17:36
src/algebra/ordered_group.lean
refactor(algebra/ordered_group): multiplicative versions of ordered monoids/groups (#2844) …
Deleted add_eq_zero_iff_eq_zero_and_eq_zero_of_nonneg_of_nonnegView on Github →