Inside a coordinate chart, the fixed tangent cell is the disjoint union of the chart images of the `pi ^ M`-cosets of those representatives that have the prescribed tangent divisor.

Initializing...

Inside a coordinate chart, the fixed tangent cell is the disjoint union of the chart images of the `pi ^ M`-cosets of those representatives that have the prescribed tangent divisor. · Prove2Me