`BookProof.ChapterDeepLearningSampling.inducedPrior_supported` (seedProb : Seed → ℝ) (train : Seed → Model) (admissible : Model → Prop) (htrain : ∀ s, admissible (train s)) {m : Mo

Initializing...

`BookProof.ChapterDeepLearningSampling.inducedPrior_supported` (seedProb : Seed → ℝ) (train : Seed → Model) (admissible : Model → Prop) (htrain : ∀ s, admissible (train s)) {m : Mo · Prove2Me