Theorem CPolynomialAt.fun_comp

Modification history

2025-10-01 09:41
Mathlib/Analysis/Analytic/Composition.lean
feat: the composition of continuously polynomial functions is continuously polynomial (#30086)
Added CPolynomialAt.fun_compView on Github →