P
Initializing...
(M alpha : ℝ) : Continuous (starobinskyV M alpha) · Prove2Me