Mathlib v3 is deprecated. Go to Mathlib v4

Theorem summable_mul_prod_iff_summable_mul_sigma_antidiagonal

Modification history