OAI/MeasureTheory/Falconer/Measures/FiniteRelativePruning.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Finite pruning relative to the incoming measurable relation

  1. theorem OAI.Falconer.finite_relative_pruning line 12