**Monic formula** for the route-F density: `monicDensityF O n σ = monicExpr n σ` evaluated at `q = |k|`.

Initializing...

**Monic formula** for the route-F density: `monicDensityF O n σ = monicExpr n σ` evaluated at `q = |k|`. · Prove2Me