Normalizing a primitive vector at a coordinate `μ` with `G μ = 1` maps the projective cell of `G` onto the reduced form cell of `G`, with fibres the unit multiples, and pushes the normaliz

Initializing...

Normalizing a primitive vector at a coordinate `μ` with `G μ = 1` maps the projective cell of `G` onto the reduced form cell of `G`, with fibres the unit multiples, and pushes the normaliz · Prove2Me