GeometricSuffixMass.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

A suffix restriction costs its reciprocal totient mass, with the initial coordinates counted once on the retained geometric simplex.