isRealAnalyticOn
P160146
predicate
Indicates that a function is real-analytic (i.e., locally given by a convergent power series) on the specified domain or set.