OAI/Analysis/TriangularHilbert/TruncationCoordinates.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TriangularHilbert.cyclicHard_coordinate_output line 10
2. lemma OAI.TriangularHilbert.hardIntegrand_eq_indicator_ae line 17
3. lemma OAI.TriangularHilbert.truncation_eq_cyclicHard line 29
4. lemma OAI.TriangularHilbert.Heat.CubicSliceGood.integrableOn_annulus line 35
5. lemma OAI.TriangularHilbert.Heat.CubicSliceGood.goodPoint line 47
6. lemma OAI.TriangularHilbert.ae_goodPoint line 55