OAI/Analysis/RieszRectifiability/Foundations/CappedTestSymmetry.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RieszRectifiability.symmetricScalarCappedTestKernel line 12
2. def OAI.RieszRectifiability.symmetricScalarRieszTestKernel line 17
3. theorem OAI.RieszRectifiability.scalarCappedRieszKernel_add line 22
4. theorem OAI.RieszRectifiability.scalarCappedRieszKernel_sub line 31
5. theorem OAI.RieszRectifiability.scalarCappedTransform_symmetric_identity line 39
6. theorem OAI.RieszRectifiability.symmetricScalarCappedTestKernel_norm_le line 68