OAI/Geometry/SmoothYau/Spectrum/TransverseZeroKernel.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.YauCounterexamples.laplaceBeltrami_const line 25
2. lemma OAI.YauCounterexamples.laplaceBeltrami_add line 29
3. lemma OAI.YauCounterexamples.laplaceBeltrami_sub line 40
4. lemma OAI.YauCounterexamples.weightedLaplacian_shift line 51
5. lemma OAI.YauCounterexamples.laplaceBeltrami_small_jets_on_compact line 105
6. lemma OAI.YauCounterexamples.laplaceBeltrami_residual_small_jets_on_compact line 172
7. theorem OAI.YauCounterexamples.metric_unique_continuation_general line 209
8. lemma OAI.YauCounterexamples.eigenfunction_nonzero_on_open_general line 253
9. lemma OAI.YauCounterexamples.transverse_zero_kernel line 274
10. lemma OAI.YauCounterexamples.transverse_zero_chart_kernel line 290
11. lemma OAI.YauCounterexamples.proportional_eigen_global line 311