OAI/Analysis/TriangularHilbert/PlaneDissipation.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TriangularHilbert.Heat.totalPlaneEnergy line 14
  2. def OAI.TriangularHilbert.Heat.totalPlaneTime line 18
  3. lemma OAI.TriangularHilbert.Heat.totalPlaneEnergy_hasDerivAt line 22
  4. lemma OAI.TriangularHilbert.Heat.two_totalPlaneTime line 29
  5. lemma OAI.TriangularHilbert.Heat.plane_dissipation line 47
  6. def OAI.TriangularHilbert.Heat.strictRate line 62
  7. def OAI.TriangularHilbert.Heat.strictConstant line 64
  8. lemma OAI.TriangularHilbert.Heat.strictRate_pos line 66
  9. lemma OAI.TriangularHilbert.Heat.sum_strictRate line 69
  10. lemma OAI.TriangularHilbert.Heat.strictConstant_pos line 77
  11. lemma OAI.TriangularHilbert.Heat.strictRate_coefficient line 84
  12. lemma OAI.TriangularHilbert.Heat.plane_strict_dissipation line 93