ThmDex – An index of mathematical definitions, results, and conjectures.

Result R3636 on D1239: Standard N-operation
Subresult of R3637: Finite product of convergent basic real series

Finite product of finite real sums

Subresults

▶	R4038: Product of two finite real sums