(M alpha : ℝ) (V3 : Polynomial ℝ) : Continuous (scalaronSectorPotential M alpha V3)

Initializing...

(M alpha : ℝ) (V3 : Polynomial ℝ) : Continuous (scalaronSectorPotential M alpha V3) · Prove2Me