Theorem TrivSqZeroExt.fst_expSeries

Modification history

2024-01-08 19:08
Mathlib/Analysis/NormedSpace/TrivSqZeroExt.lean
feat(Analysis/NormedSpace/TrivSqZeroExt): generalize to topological spaces (#9491) …
Added TrivSqZeroExt.fst_expSeriesView on Github →