The normalized form cell of `g` (residues prescribed, coordinate `ν` normalized to `1`) is a nonempty measurable residue class of mass `q^{-d}`;

Initializing...

The normalized form cell of `g` (residues prescribed, coordinate `ν` normalized to `1`) is a nonempty measurable residue class of mass `q^{-d}`; · Prove2Me