If `f` is continuous and bijective from a closed subset `C` of a compact space onto `E₀`, and the trace on `C` of `f ⁻¹' (E₀ ∩ A)` is measurable, then `E₀ ∩ A` is measurable.

Initializing...

If `f` is continuous and bijective from a closed subset `C` of a compact space onto `E₀`, and the trace on `C` of `f ⁻¹' (E₀ ∩ A)` is measurable, then `E₀ ∩ A` is measurable. · Prove2Me