Structure MeasureTheory.Conservative

Modification history

2023-05-22 19:15

Mathlib/Dynamics/Ergodic/Conservative.lean

feat: port Dynamics.Ergodic.Conservative (#4230)

Added MeasureTheory.Conservative View on Github →