OAI/Analysis/TriangularHilbert/SignedConvolution.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TriangularHilbert.Heat.density_equal_pair line 10
2. lemma OAI.TriangularHilbert.Heat.weighted_signed_pair line 20
3. lemma OAI.TriangularHilbert.Heat.integral_signed_pair line 27
4. lemma OAI.TriangularHilbert.Heat.integral_oddWindow_pair line 34
5. lemma OAI.TriangularHilbert.Heat.density_one_two_pair line 47
6. lemma OAI.TriangularHilbert.Heat.weighted_signed_outer line 57
7. lemma OAI.TriangularHilbert.Heat.integral_signed_outer line 65
8. def OAI.TriangularHilbert.Heat.signedKernel line 72
9. lemma OAI.TriangularHilbert.Heat.integral_oddWindow_triple line 75