OAI/MathematicalPhysics/Transonic/Exterior/
167 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- BarrierCoeff.lean 9 declarations
- BarrierPolynomial.lean 9 declarations
- BarrierSound.lean 5 declarations
- BarrierTrace.lean 4 declarations
- BarrierWeights.lean 2 declarations
- Bound.lean 1 declarations
- Certificate.lean 3 declarations
- Continuation.lean 1 declarations
- Conv.lean 16 declarations
- CoverAll.lean 2 declarations
- FastRange.lean 8 declarations
- Interval.lean 3 declarations
- Jet.lean 24 declarations
- Parameters.lean 6 declarations
- Polynomial.lean 3 declarations
- Production.lean 1 declarations
- Range.lean 10 declarations
- Scaled.lean 8 declarations
- SourceTrace.lean 7 declarations
- Step.lean 6 declarations
- TaylorEntry.lean 2 declarations
- Trace.lean 17 declarations
- TraceRun.lean 5 declarations
- Weight.lean 12 declarations
- WindowSound.lean 3 declarations