OAI/MeasureTheory/Falconer/Recursion/ProjectionProfileAlgebra.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Scalar absorption for the projection-test average

  1. theorem OAI.Falconer.projection_profile_scalar_bound line 10