OAI/MeasureTheory/Falconer/Shells/InverseScalarShell.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual scalar shells from the integrated stationary inverse

  1. theorem OAI.Falconer.scalar_shell_of_integrated_inverse line 11