P
Initializing...
Positivity of the projective normalizer `1 + q + ⋯ + qⁿ` at `q ≥ 0`. · Prove2Me