OAI/MathematicalPhysics/Transonic/Phase/MellinFlux.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.GlobalProfile.radialTT line 11
2. def OAI.SepticProfile.GlobalProfile.radialCross line 13
3. def OAI.SepticProfile.GlobalProfile.radialRR line 15
4. def OAI.SepticProfile.GlobalProfile.mellinTimeFlux line 18
5. def OAI.SepticProfile.GlobalProfile.mellinSpaceFlux line 20
6. lemma OAI.SepticProfile.GlobalProfile.s0_partialTime_radial line 23
7. lemma OAI.SepticProfile.GlobalProfile.s0_partialSpace_radial line 28
8. lemma OAI.SepticProfile.GlobalProfile.pair_radialTrial line 39
9. lemma OAI.SepticProfile.GlobalProfile.linearized_time_flux line 58
10. lemma OAI.SepticProfile.GlobalProfile.linearized_space_flux line 81