ParkPointwise.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Height-free actual parked coefficients. The good-scale dyadic grouping in the manuscript is replaced by a stronger logarithmic capacity telescope.