OAI/Analysis/AncientFlat/Evolution/VariableRows.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VariableSchauder.jet line 12
2. lemma OAI.VariableSchauder.quarter_power line 14
3. lemma OAI.VariableSchauder.radius_power line 19
4. lemma OAI.VariableSchauder.bound_combine line 24
5. lemma OAI.VariableSchauder.exists_jet_bound line 36
6. lemma OAI.VariableSchauder.exists_jet_lipschitz line 52
7. lemma OAI.VariableSchauder.jet_parameter line 66
8. lemma OAI.VariableSchauder.exists_jet_time_increment line 75