OAI/Analysis/AncientFlat/Regularity/ShortHolder.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ParabolicShort.holder_initial_small line 10
2. lemma OAI.ParabolicShort.short_initial_jet_zero line 62
3. theorem OAI.ParabolicShort.spatial_small line 70