OAI/MeasureTheory/Falconer/Angular/PublishedIntegerCaps.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Integer cap availability from the precise published radial moment
- theorem
OAI.Falconer.integer_caps_of_published_radialline 12