FixedCoordinateGrid.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Concentration for the actual enlarged prime-prefix grid, at a fixed terminal truncation and the fixed tolerance used by the application.