OAI/Analysis/AncientFlat/Kernel/SchwartzIBP.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.FlatDuality.integrable_mul_bounded line 11
2. def OAI.FlatDuality.schwartzDir line 16
3. lemma OAI.FlatDuality.schwartzDir_apply line 19
4. lemma OAI.FlatDuality.integral_dir line 21
5. lemma OAI.FlatDuality.integral_dir_dir line 31
6. lemma OAI.FlatDuality.integral_laplacian line 36
7. lemma OAI.FlatDuality.integral_bilaplacian line 51