**Projective formula** for the route-F density: `projectiveDensityF O n σ = projectiveExpr n σ` at `q = |k|`.

Initializing...

**Projective formula** for the route-F density: `projectiveDensityF O n σ = projectiveExpr n σ` at `q = |k|`. · Prove2Me