`BookProof.ScalaronDensitized.densConfV_apply` (M alpha y : ℝ) : densConfV M alpha y = confV M alpha (y ^ 2)

Initializing...

`BookProof.ScalaronDensitized.densConfV_apply` (M alpha y : ℝ) : densConfV M alpha y = confV M alpha (y ^ 2) · Prove2Me