Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-02-03 19:48 b363547b

View on Github →

chore(topology/algebra/infinite_sum): add lemmas about division (#18351) This also flips the direction of some misnamed statements.

Estimated changes

added theorem has_sum_div_const_iff
modified theorem has_sum_mul_left_iff
modified theorem has_sum_mul_right_iff
added theorem summable_div_const_iff
modified theorem summable_mul_left_iff
modified theorem summable_mul_right_iff
added theorem tsum_div_const