measurableSet_image — Mathlib · SciLib

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

measurableSet_image

Mathlib.MeasureTheory.MeasurableSpace.Embedding

URI: https://scilib.ai/kg/mathlib#MeasurableEquiv.measurableSet_image

← MathLib Explorer