Theorem PreErgodic.ae_mem_or_ae_nmem

Modification history

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