OAI/Analysis/RieszRectifiability/Foundations/NormalizedGramDecay.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.normalized_mean_zero_gram_decay line 13
2. theorem OAI.RieszRectifiability.normalized_gram_fine_weighted line 35
3. theorem OAI.RieszRectifiability.normalized_gram_coarse_weighted line 51
4. theorem OAI.RieszRectifiability.nonzero_gram_centers_near line 71