∫ Утверждение Mathlib
eq_const_of_compMeasurePreserving_eq
Mathlib.Dynamics.Ergodic.Function
URI: https://scilib.ai/kg/mathlib#Ergodic.eq_const_of_compMeasurePreserving_eq
∫ Утверждение Mathlib
Mathlib.Dynamics.Ergodic.Function
URI: https://scilib.ai/kg/mathlib#Ergodic.eq_const_of_compMeasurePreserving_eq