Assertion: real number's value | /r/HasProperty | coincides
Facets:
value: with the inductive definition
type: OTHER
Source sentences:
text: For x infinitesimal, the value of the formal power series ∑ n ≥0 x n / n ! is well defined and coincides with the inductive definition When x is given in Conway normal form, the set of exponents in the result is well-ordered and the coefficients are finite sums, directly giving the normal form of the result (which has a leading 1)
text: infinitesimal, the value of the formal power series is well defined and coincides with the inductive definition For positive infinite x , exp x is infinite as well