P
Initializing...
{e : ℕ → ℝ} (he : ∀ k, 0 ≤ e k) (β : Conf) : 0 ≤ confEnergy e β · Prove2Me