OAI/Analysis/AncientFlat/Regularity/HolderContinuity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParabolicInterior.continuous_pdist line 9
2. lemma OAI.ParabolicInterior.pdist_self line 13
3. lemma OAI.ParabolicInterior.HolderBound.continuousOn line 14
4. lemma OAI.ParabolicInterior.HolderBound.spatial line 24
5. lemma OAI.ParabolicInterior.HolderBound.temporal line 28
6. lemma OAI.ParabolicInterior.continuousOn_bcf_of_holder line 34
7. lemma OAI.ParabolicInterior.continuousOn_c0_of_holder line 52