P
Initializing...
(hκ : 0 < κ) : drift κ = (κ : ℂ) • pos κ · Prove2Me