OAI/MeasureTheory/Falconer/Measures/CellwiseCollisionPruning.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Combining conditional-cell radial pruning with the original source weights

  1. theorem OAI.Falconer.cellwise_radial_collision_pruning line 13