The scaled strict map multiplies Haar measure by `q^(a n + k)`, where `q` is the residue field cardinality and `k` the length of the cokernel of the normalizer's linear part.

Initializing...

The scaled strict map multiplies Haar measure by `q^(a n + k)`, where `q` is the residue field cardinality and `k` the length of the cokernel of the normalizer's linear part. · Prove2Me