OAI/Analysis/AncientFlat/Evolution/InitialPaste.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParabolicInitial.initialJoin line 11
2. lemma OAI.ParabolicInitial.initialJoin_pos line 13
3. lemma OAI.ParabolicInitial.initialJoin_neg line 15
4. lemma OAI.ParabolicInitial.initialJoin_contDiff line 19
5. lemma OAI.ParabolicInitial.initialJoin_hasDerivAt line 29
6. lemma OAI.ParabolicInitial.initial_jet_zero line 60
7. lemma OAI.ParabolicInitial.initialJoin_jet line 68
8. lemma OAI.ParabolicInitial.initialJoin_holder_jet line 75