FordTruncatedRows.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

A truncated Ford simplex gives the complete row sums up to its own terminal index, which suffices for the retained prime-prefix count.