OAI/Analysis/AncientFlat/Regularity/FreezingResidual.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParabolicLocalization.bilaplacian_cutoff line 11
2. lemma OAI.ParabolicLocalization.cutoffResidual_eq line 17
3. lemma OAI.ParabolicLocalization.cutoffResidual_zero line 29
4. def OAI.ParabolicLocalization.residualBudget line 35
5. lemma OAI.ParabolicLocalization.cutoffResidual_bound line 40