OAI/Analysis/TriangularHilbert/MassPlane.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TriangularHilbert.Heat.weight_integrable_center line 13
2. lemma OAI.TriangularHilbert.Heat.integral_weight_center line 17
3. lemma OAI.TriangularHilbert.Heat.chart_integrable_iff line 22
4. lemma OAI.TriangularHilbert.Heat.weight_pair_integrable line 31
5. lemma OAI.TriangularHilbert.Heat.integral_weight_pair line 44
6. def OAI.TriangularHilbert.Heat.edgeCubic line 59
7. lemma OAI.TriangularHilbert.Heat.edgeCubic_integrable line 62
8. lemma OAI.TriangularHilbert.Heat.planeIntegral_edgeCubic line 68