∫ Утверждение Mathlib
ofScalars_series_eq_iff
Mathlib.Analysis.Analytic.OfScalars
URI: https://scilib.ai/kg/mathlib#FormalMultilinearSeries.ofScalars_series_eq_iff
∫ Утверждение Mathlib
Mathlib.Analysis.Analytic.OfScalars
URI: https://scilib.ai/kg/mathlib#FormalMultilinearSeries.ofScalars_series_eq_iff