OAI/Geometry/NodalSets/Waves/LocalWaveJets.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Yau.Geometry.LocalCompactWaveData.center_identifications line 16
2. lemma OAI.Yau.Geometry.LocalCompactWaveData.source_phase_center line 25
3. lemma OAI.Yau.Geometry.LocalCompactWaveData.source_wave_center line 29
4. lemma OAI.Yau.Geometry.LocalCompactWaveData.source_phase_first line 34
5. lemma OAI.Yau.Geometry.LocalCompactWaveData.source_phase_second line 43
6. theorem OAI.Yau.Geometry.LocalCompactWaveData.local_lattice_estimates line 60
7. lemma OAI.Yau.Geometry.LocalCompactWaveData.local_lattice_nonzero line 74