Coordinate cosets of level `M ≥ cellDegree` give a finite measurable partition of the coordinate space, and the preimage of a cell in any chart is the union of the cosets whose representatives lie in

Initializing...

Coordinate cosets of level `M ≥ cellDegree` give a finite measurable partition of the coordinate space, and the preimage of a cell in any chart is the union of the cosets whose representatives lie in · Prove2Me