OAI/Geometry/NodalSets/Waves/LatticeSourceWaves.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Yau.Geometry.scaledLatticePoint line 10
2. abbrev OAI.Yau.Geometry.SourceGrid line 13
3. def OAI.Yau.Geometry.selectFrame line 18
4. lemma OAI.Yau.Geometry.selectFrame_center line 21
5. def OAI.Yau.Geometry.latticeFrame line 25
6. lemma OAI.Yau.Geometry.latticeFrame_center line 29
7. def OAI.Yau.Geometry.latticeWave line 34
8. theorem OAI.Yau.Geometry.lattice_wave_estimates line 40
9. theorem OAI.Yau.Geometry.lattice_direction_properties line 57