Two division charts of the same residue-ideal cell push Haar measure forward to the same measure on ideals.

Initializing...

Two division charts of the same residue-ideal cell push Haar measure forward to the same measure on ideals. · Prove2Me