Theorem ContinuousLinearMap.fpowerSeries_apply_one

Modification history

2023-12-05 14:12
Mathlib/Analysis/Calculus/FormalMultilinearSeries.lean
chore: tidy various files (#8823)
Added ContinuousLinearMap.fpowerSeries_apply_oneView on Github →