WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Power series
Revision #1483 → #2629 ·
back to history
modified
Cauchy product
7495bdf0106f
Field
From #1483
To #2629
mathlib.decl
tsum_mul_tsum_eq_tsum_sum_antidiagonal
Summable.tsum_mul_tsum_eq_tsum_sum_antidiagonal
provenance
ai
ai-moderated