Theorem Ergodic.symm_iff

Modification history

2025-04-02 13:27
Mathlib/Dynamics/Ergodic/Ergodic.lean
feat(Ergodic): add `Ergodic.symm` (#23566)
Added Ergodic.symm_iffView on Github →