AngouriMath
IntrinsicCondition
Property
Summary
A summation is a well-formed expression whatever its bounds, so it is defined
everywhere its expression is; the expansion below is an evaluation, not a
definedness claim.
everywhere its expression is; the expansion below is an evaluation, not a
definedness claim.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online