OAI/MathematicalPhysics/Transonic/Exterior/BarrierTrace.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.SepticProfile.ExteriorJet.BarrierWeights line 11
2. structure OAI.SepticProfile.ExteriorJet.BarrierWeightsHold line 13
3. def OAI.SepticProfile.ExteriorJet.barrierResidualBox line 26
4. lemma OAI.SepticProfile.ExteriorJet.barrierResidual_enclosed line 41