Mathlib v3 is deprecated. Go to Mathlib v4

Theorem add_circle.ergodic_zsmul

Modification history

2022-12-06 17:02
src/dynamics/ergodic/add_circle.lean
feat(dynamics/ergodic/add_circle): ergodicity of zsmul on the additive circle (#17544)
Added add_circle.ergodic_zsmulView on Github →