OAI/Analysis/TriangularHilbert/PlaneChart.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TriangularHilbert.Heat.chart line 11
  2. lemma OAI.TriangularHilbert.Heat.chart_continuous line 16
  3. lemma OAI.TriangularHilbert.Heat.chart_hasDerivAt line 20
  4. def OAI.TriangularHilbert.Heat.chartReflection line 28
  5. lemma OAI.TriangularHilbert.Heat.chartReflection_preserving line 36
  6. lemma OAI.TriangularHilbert.Heat.swap_preserving line 41
  7. def OAI.TriangularHilbert.Heat.chartChange line 44
  8. lemma OAI.TriangularHilbert.Heat.chartChange_preserving line 49
  9. lemma OAI.TriangularHilbert.Heat.chartChange_eq line 56
  10. lemma OAI.TriangularHilbert.Heat.integral_chart_eq line 63
  11. lemma OAI.TriangularHilbert.Heat.chart_pair_bound line 71