Commit 2025-04-02 13:27 274d91d7

View on Github →

feat(Ergodic): add Ergodic.symm (#23566)

Estimated changes

Modified Mathlib/Dynamics/Ergodic/Ergodic.lean

added theorem Ergodic.symm

added theorem Ergodic.symm_iff