OAI/MeasureTheory/Falconer/Shells/InverseEnvelopeShell.lean
1 declarations, 0 contain sorry, 0 declared as axioms
The actual scalar inverse is bounded by the admissible angular supremum
- theorem
OAI.Falconer.scalar_shell_le_angularEnvelopeline 11