geom_series_mul_one_add — Mathlib · SciLib

∫ Утверждение Mathlib

geom_series_mul_one_add

Mathlib.Analysis.SpecificLimits.Normed

URI: https://scilib.ai/kg/mathlib#geom_series_mul_one_add

← MathLib Explorer