OAI/Analysis/TriangularHilbert/SignedCenter.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TriangularHilbert.Heat.signedCenter line 14
2. lemma OAI.TriangularHilbert.Heat.signedCenter_eq_integral line 17
3. lemma OAI.TriangularHilbert.Heat.signedCenter_norm_le line 47
4. lemma OAI.TriangularHilbert.Heat.continuousOn_signedKernel line 59
5. lemma OAI.TriangularHilbert.Heat.signedKernel_intervalIntegrable line 66