OAI/MathematicalPhysics/Transonic/Shooting/SourceFamilyC1.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SepticProfile.ParametricJets.polynomialC1 line 13
  2. def OAI.SepticProfile.SourceFamily.numerator line 30
  3. def OAI.SepticProfile.SourceFamily.denominator line 34
  4. def OAI.SepticProfile.SourceFamily.H line 37
  5. def OAI.SepticProfile.SourceFamily.numeratorC1 line 39
  6. def OAI.SepticProfile.SourceFamily.denominatorC1 line 52
  7. lemma OAI.SepticProfile.SourceFamily.denominator_zero_ne line 64
  8. lemma OAI.SepticProfile.SourceFamily.H_sourceH line 72
  9. theorem OAI.SepticProfile.SourceFamily.uniform_bounds line 78