OAI/MathematicalPhysics/Transonic/Exterior/Scaled.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.ExteriorJet.scaledPref line 10
2. def OAI.SepticProfile.ExteriorJet.scaledResidual line 13
3. lemma OAI.SepticProfile.ExteriorJet.rescale_C' line 21
4. lemma OAI.SepticProfile.ExteriorJet.rescale_X' line 23
5. lemma OAI.SepticProfile.ExteriorJet.scaledResidual_rescale line 26
6. lemma OAI.SepticProfile.ExteriorJet.coeff_scaledPref_derivative line 38
7. def OAI.SepticProfile.ExteriorJet.scaledRatioStep line 60
8. lemma OAI.SepticProfile.ExteriorJet.scaled_normalized_recurrence line 69