OAI/Analysis/HenonEmden/Distribution.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.WeakPDE.cutoff_laplacian_integral_scale line 31
2. lemma OAI.HenonLaneEmden.WeakPDE.cutoff_laplacian_integral_tendsto_zero line 60
3. lemma OAI.HenonLaneEmden.WeakPDE.bump_dilation_eventually_zero line 85
4. lemma OAI.HenonLaneEmden.WeakPDE.cutoff_source_integral_tendsto_zero line 94
5. lemma OAI.HenonLaneEmden.WeakPDE.cutoff_test_off_origin line 121
6. lemma OAI.HenonLaneEmden.WeakPDE.distributional_extension line 139