OAI/Analysis/TriangularHilbert/MeshJump.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TriangularHilbert.Heat.jumpMax line 11
2. lemma OAI.TriangularHilbert.Heat.jumpMax_nonneg line 17
3. lemma OAI.TriangularHilbert.Heat.gaussian_sum_back_le_lineMax line 25
4. lemma OAI.TriangularHilbert.Heat.gaussian_sum_triangle_le_lineMax line 33
5. lemma OAI.TriangularHilbert.Heat.jumpExpectation_le_jumpMax line 40
6. lemma OAI.TriangularHilbert.Heat.finite_mesh_energy_jump_le line 52