OAI/Analysis/TriangularHilbert/HeatBound.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.TriangularHilbert.Heat.HeatAtBounds line 14
2. lemma OAI.TriangularHilbert.Heat.heatAtBounds_of_norms line 23
3. lemma OAI.TriangularHilbert.Heat.HeatAtBounds.mono line 80
4. lemma OAI.TriangularHilbert.Heat.exists_heat_uniform_majorant line 87