OAI/Analysis/AncientFlat/Energy/EnergyLaplacian.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParametrixUniqueness.BoundedJets.sum line 10
2. lemma OAI.ParametrixUniqueness.laplacian_eq_sum_dir line 21
3. lemma OAI.ParametrixUniqueness.BoundedJets.laplacian line 24
4. lemma OAI.ParametrixUniqueness.Decays.sum line 37
5. lemma OAI.ParametrixUniqueness.integral_inner_laplacian line 46
6. lemma OAI.ParametrixUniqueness.integral_weight_bilaplacian line 60