AngouriMath
IntrinsicCondition
Property
Summary
A sum over a set is a well-formed expression whatever the set, as
Summationf is whatever its bounds; adding its terms up is an
evaluation, not a claim about where it is defined.
Summationf is whatever its bounds; adding its terms up is an
evaluation, not a claim about where it is defined.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online