OAI/Analysis/TriangularHilbert/InitialPlane.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TriangularHilbert.Heat.arrayCubic line 14
2. lemma OAI.TriangularHilbert.Heat.sum_three_shift line 17
3. lemma OAI.TriangularHilbert.Heat.totalPlaneEnergy_nonneg line 21
4. lemma OAI.TriangularHilbert.Heat.totalPlaneEnergy_le_mass line 27