OAI/Analysis/AncientFlat/Evolution/CoreProfile.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ParabolicCore.outer line 11
2. def OAI.ParabolicCore.inner line 12
3. def OAI.ParabolicCore.rectangle line 13
4. def OAI.ParabolicCore.argument line 14
5. def OAI.ParabolicCore.principal line 15
6. def OAI.ParabolicCore.potential line 16
7. lemma OAI.ParabolicCore.argument_nonneg line 18
8. lemma OAI.ParabolicCore.argument_smooth line 19
9. lemma OAI.ParabolicCore.coeff_smooth line 24
10. lemma OAI.ParabolicCore.potential_eq line 40
11. lemma OAI.ParabolicCore.profile_core_holder line 47