OAI/MeasureTheory/Falconer/Estimates/ScalarGroupedWeights.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Positive projection weights for arbitrary total branching, after fixing one column group and summing all horizontal groups.

  1. theorem OAI.Falconer.scalar_grouped_weighted_cells line 12