Theorem AnalyticOnNhd.aeval_polynomial

Modification history