**Primitive density.** Assuming the root cell law, the relative density of the affine type event `σ` among primitive coefficient vectors is `densityValue (projectiveExpr n σ) q`.

Initializing...

**Primitive density.** Assuming the root cell law, the relative density of the affine type event `σ` among primitive coefficient vectors is `densityValue (projectiveExpr n σ) q`. · Prove2Me