Mathlib

Atlas/Dynamics/Ergodic theory

Measure-preserving maps

1/4

A map T preserves μ when μ(T⁻¹A) = μ(A). Volume is incompressible.