Theorem FormalMultilinearSeries.radius_pi_eq_iInf

Modification history

2024-09-16 00:14
Mathlib/Analysis/Analytic/Constructions.lean
feat: analyticity of functions in pi spaces (#16753)
Added FormalMultilinearSeries.radius_pi_eq_iInfView on Github →