mathlib3
547d67fc - feat(analysis/{analytic,calculus}): an analytic function is strictly differentiable (#5878)

Commit

4 years ago

feat(analysis/{analytic,calculus}): an analytic function is strictly differentiable (#5878) Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

Author

urkud

Parents

44fd23d1

mathlib3 547d67fc - feat(analysis/{analytic,calculus}): an analytic function is strictly differentiable (#5878)

mathlib3
547d67fc - feat(analysis/{analytic,calculus}): an analytic function is strictly differentiable (#5878)