The part of a fixed tangent cell inside a coordinate chart is measurable for the chart σ-algebra.

Initializing...

The part of a fixed tangent cell inside a coordinate chart is measurable for the chart σ-algebra. · Prove2Me