∫ Утверждение Mathlib
growsPolynomially_zpow
Mathlib.Computability.AkraBazzi.GrowsPolynomially
URI: https://scilib.ai/kg/mathlib#AkraBazziRecurrence.growsPolynomially_zpow
∫ Утверждение Mathlib
Mathlib.Computability.AkraBazzi.GrowsPolynomially
URI: https://scilib.ai/kg/mathlib#AkraBazziRecurrence.growsPolynomially_zpow