Theorem PreErgodic.measure_self_or_compl_eq_zero

Modification history

2023-05-10 07:35
Mathlib/Dynamics/Ergodic/Ergodic.lean
feat: port Dynamics.Ergodic.Ergodic (#3879)
Added PreErgodic.measure_self_or_compl_eq_zeroView on Github →