Theorem AnalyticOnNhd.aeval_mvPolynomial

Modification history