Theorem CPolynomialOn.analyticOnNhd

Modification history