**Projective cell partition.** The primitive coefficient vectors of length `n + 1` are partitioned into the projective cells of the divisors of degree `n`, each measurable with an explicit mass, and t

Initializing...

**Projective cell partition.** The primitive coefficient vectors of length `n + 1` are partitioned into the projective cells of the divisors of degree `n`, each measurable with an explicit mass, and t · Prove2Me