`BookProof.ChapterDeepLearningMAP.posterior_le_iff_weight` (prior : Model → ℝ) (likelihood : Model → Data → ℝ) (d : Data) (hevidence : 0 < BookProof.ChapterBayesInference.evidence

Initializing...

`BookProof.ChapterDeepLearningMAP.posterior_le_iff_weight` (prior : Model → ℝ) (likelihood : Model → Data → ℝ) (d : Data) (hevidence : 0 < BookProof.ChapterBayesInference.evidence · Prove2Me