OAI/MathematicalPhysics/Transonic/Shooting/SourceFamilyEuler.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.SourceFamily.UniformGerm.realFunction line 12
2. def OAI.SepticProfile.SourceFamily.UniformGerm.eulerFunction line 14
3. lemma OAI.SepticProfile.SourceFamily.UniformGerm.real_analytic line 17
4. lemma OAI.SepticProfile.SourceFamily.UniformGerm.real_derivative line 22
5. lemma OAI.SepticProfile.SourceFamily.UniformGerm.real_equation line 27
6. lemma OAI.SepticProfile.SourceFamily.UniformGerm.euler_data line 50