Theorem ContinuousLinearMap.fpower_series_apply_one

Modification history

2023-12-05 14:12
Mathlib/Analysis/Calculus/FormalMultilinearSeries.lean
chore: tidy various files (#8823)
Deleted ContinuousLinearMap.fpower_series_apply_oneView on Github →
2023-10-18 11:36
Mathlib/Analysis/Analytic/Linear.lean
feat(Analysis/Analytic): some more API for analytic functions (#7552) …
Modified ContinuousLinearMap.fpower_series_apply_oneView on Github →
2023-07-13 01:24
Mathlib/Analysis/Analytic/Linear.lean
chore: bump to nightly-2023-07-01 (#5409) …
Added ContinuousLinearMap.fpower_series_apply_oneView on Github →