∫ Утверждение Mathlib
indicator_ae_eq_of_ae_eq_set
Mathlib.MeasureTheory.Measure.Restrict
URI: https://scilib.ai/kg/mathlib#indicator_ae_eq_of_ae_eq_set
∫ Утверждение Mathlib
Mathlib.MeasureTheory.Measure.Restrict
URI: https://scilib.ai/kg/mathlib#indicator_ae_eq_of_ae_eq_set