`BookProof.ChapterG2.no_translation_invariant_probabilityMeasure` {G : Type*} [Group G] [Countable G] [Infinite G] [MeasurableSpace G] [MeasurableSingletonClass G] : ¬ ∃ μ : Measur

Initializing...

`BookProof.ChapterG2.no_translation_invariant_probabilityMeasure` {G : Type*} [Group G] [Countable G] [Infinite G] [MeasurableSpace G] [MeasurableSingletonClass G] : ¬ ∃ μ : Measur · Prove2Me