Theorem ContinuousLinearMap.fpowerSeries_apply_zero

Modification history

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