Theorem FormalMultilinearSeries.sub_apply

Modification history

2025-02-19 11:45
Mathlib/Analysis/Calculus/FormalMultilinearSeries.lean
refactor(Analysis/Calculus/FormalMultilinearSeries): generalize to additive monoids (#9467) …
Modified FormalMultilinearSeries.sub_applyView on Github →
2024-12-10 06:48
Mathlib/Analysis/Calculus/FormalMultilinearSeries.lean
feat: more API for iteratedFDeriv (#19769) …
Added FormalMultilinearSeries.sub_applyView on Github →