The coordinate-ideal map of a division chart is measurable for the ideal-chart σ-algebra.

Initializing...

The coordinate-ideal map of a division chart is measurable for the ideal-chart σ-algebra. · Prove2Me