OAI/MeasureTheory/Falconer/Slicing/SliceThreeTubeMass.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The endpoint tube obstruction expressed on the original point law
- theorem
OAI.Falconer.slice_three_tube_mass_sqline 13