OAI/Analysis/TriangularHilbert/MaskedDissipation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TriangularHilbert.Heat.arrayCubic_eq line 13
2. lemma OAI.TriangularHilbert.Heat.arrayCubic_mono line 17
3. lemma OAI.TriangularHilbert.Heat.arrayCubic_replaceZero_le line 29
4. lemma OAI.TriangularHilbert.Heat.finite_mesh_total_jumps_le line 37
5. lemma OAI.TriangularHilbert.Heat.strictRate_ge_one line 76
6. def OAI.TriangularHilbert.Heat.maskedConstant line 79
7. lemma OAI.TriangularHilbert.Heat.maskedConstant_pos line 81
8. lemma OAI.TriangularHilbert.Heat.finite_masked_dissipation line 87