Commit 2021-10-24 22:06 c20f08ed

feat(dynamics/ergodic/measure_preserving): add measure_preserving.symm (#9940) Also make the proof of measure_preserving.skew_product a bit more readable.