The image of a measurable set of coordinates under a division chart is measurable for the chart σ-algebra on ideals.

Initializing...

The image of a measurable set of coordinates under a division chart is measurable for the chart σ-algebra on ideals. · Prove2Me