OAI/MeasureTheory/Falconer/Radial/PreparedTubeRelation.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Preparing a pointwise covered relation without losing original fiber mass
- theorem
OAI.Falconer.prepare_original_tube_relationline 12