Theorem AnalyticOnNhd.eval_mvPolynomial

Modification history