comp_eq_of_measurable_invariants — Mathlib · SciLib

∫ Утверждение Mathlib

comp_eq_of_measurable_invariants

Mathlib.MeasureTheory.MeasurableSpace.Invariants

URI: https://scilib.ai/kg/mathlib#MeasurableSpace.comp_eq_of_measurable_invariants

← MathLib Explorer