Theorem FormalMultilinearSeries.ofScalars_radius_eq_zero_of_tendsto

Modification history