Mathlib Changelog
v4
Changelog
About
Github
Theorem
ContinuousLinearMap.fpower_series_apply_zero
Modification history
2023-12-05 14:12
Mathlib/Analysis/Calculus/FormalMultilinearSeries.lean
chore: tidy various files (#8823)
Deleted
ContinuousLinearMap.fpower_series_apply_zero
View 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_zero
View 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_zero
View on Github →