`BookProof.ChapterAttentionMixture.observableExpectation_mixture` (w : Fin H → ℝ) (p : Fin H → Fin m → ℝ) (v : Fin m → E) : observableExpectation (mixture w p) v = ∑ h, w h • obser

Initializing...

`BookProof.ChapterAttentionMixture.observableExpectation_mixture` (w : Fin H → ℝ) (p : Fin H → Fin m → ℝ) (v : Fin m → E) : observableExpectation (mixture w p) v = ∑ h, w h • obser · Prove2Me