OAI/Analysis/FourierExtension/AffineArea.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Fourier bounds for affine graph area measures.

  1. theorem OAI.DiagonalExtension.AffineGraph.area_L4 line 32