Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-09-09 21:11 228d5bad

View on Github →

feat(algebra/big_operators): sum_eq_zero_iff_of_nonpos (#1424)

  • feat(algebra/big_operators): sum_eq_zero_iff_of_nonpos
  • more order_dual instances

Estimated changes