Theorem QuasiErgodic.ae_mem_or_ae_nmem₀

Modification history

2025-05-25 12:30
Mathlib/Dynamics/Ergodic/Ergodic.lean
chore(*): not_mem/nmem -> notMem (#25159)
Deleted QuasiErgodic.ae_mem_or_ae_nmem₀View on Github →
2023-06-29 08:26
Mathlib/Dynamics/Ergodic/Ergodic.lean
feat: add `PreErgodic.ae_mem_or_ae_nmem` etc (#5220) …
Added QuasiErgodic.ae_mem_or_ae_nmem₀View on Github →