OAI/Analysis/AncientFlat/Evolution/TopSeminorm.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParabolicInterior.semiValues line 9
2. def OAI.ParabolicInterior.seminorm line 11
3. lemma OAI.ParabolicInterior.zero_mem_semiValues line 13
4. lemma OAI.ParabolicInterior.semiValues_bounded line 15
5. lemma OAI.ParabolicInterior.seminorm_le line 25
6. lemma OAI.ParabolicInterior.seminorm_nonneg line 28
7. lemma OAI.ParabolicInterior.seminorm_bound line 31