Theorem FormalMultilinearSeries.unshift_shift

Modification history

2024-12-18 06:37
Mathlib/Analysis/Calculus/FormalMultilinearSeries.lean
feat(Analysis/Analytic): `FormalMultilinearSeries.unshift` convergence (#19848) …
Added FormalMultilinearSeries.unshift_shiftView on Github →