OAI/Analysis/TriangularHilbert/HeatTime.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TriangularHilbert.Heat.hasDerivAt_of_coordinates line 14
2. lemma OAI.TriangularHilbert.Heat.weight_differentiableAt_variances line 47
3. lemma OAI.TriangularHilbert.Heat.heatArray_differentiableAt_variances line 56
4. lemma OAI.TriangularHilbert.Heat.triangleBlocks_differentiableAt line 72
5. lemma OAI.TriangularHilbert.Heat.rowStar_differentiableAt line 83
6. lemma OAI.TriangularHilbert.Heat.heatEnergy_differentiableAt_variances line 98
7. lemma OAI.TriangularHilbert.Heat.heatEnergy_hasDerivAt_time line 106