`BookProof.ChapterObservableExpectation.observableExpectation_scalar` (p v : Fin m → ℝ) : observableExpectation p v = ∑ j, p j * v j

Initializing...

`BookProof.ChapterObservableExpectation.observableExpectation_scalar` (p v : Fin m → ℝ) : observableExpectation p v = ∑ j, p j * v j · Prove2Me