Theorem add_eq_zero_iff_eq_zero_and_eq_zero_of_nonneg_of_nonneg'
Modification history
2018-10-08 14:30
algebra/ordered_group.lean
refactor(*): touching up proofs from 'faster' branch
Deleted add_eq_zero_iff_eq_zero_and_eq_zero_of_nonneg_of_nonneg'View on Github →