P
Initializing...
(M alpha : ℝ) (hM : 0 < M) : ExpBounded (starobinskyV M alpha) · Prove2Me