`BookProof.MixedLinearEsa.hasTemperateGrowth_polyPotential` (c : ℕ → ℝ) (n : ℕ) (m : V) : Function.HasTemperateGrowth (polyPotential c n m)

Initializing...

`BookProof.MixedLinearEsa.hasTemperateGrowth_polyPotential` (c : ℕ → ℝ) (n : ℕ) (m : V) : Function.HasTemperateGrowth (polyPotential c n m) · Prove2Me