The projective cell of a nonzero residue vector `v` is measurable, of Haar mass `(q

Initializing...

The projective cell of a nonzero residue vector `v` is measurable, of Haar mass `(q - 1) * q⁻¹ ^ (n + 1)`. · Prove2Me