OAI/MeasureTheory/Falconer/Angular/PerpendicularCrossTerm.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A perpendicular-test error for the original four endpoint transforms

The cap-weighted endpoint products satisfy the analytic localization hypotheses. All four original spatial laws and all four model-mass normalizations are retained in the resulting estimate.

  1. theorem OAI.Falconer.perpendicular_endpoint_cross_term line 18