Theorem AnalyticOnNhd.eval_polynomial

Modification history