OAI/MeasureTheory/Falconer/Shells/FiniteSpatialScalarShell.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Finite spatial factorization controls the scalar distance shell

  1. theorem OAI.Falconer.finite_spatial_scalar_shell_le line 11