`BookProof.ChapterMixedPrior.atoms_eq_empty_of_noAtoms` (mu : Measure X) [NullSingletonClass mu] : atoms mu = ∅

Initializing...

`BookProof.ChapterMixedPrior.atoms_eq_empty_of_noAtoms` (mu : Measure X) [NullSingletonClass mu] : atoms mu = ∅ · Prove2Me