OAI/MathematicalPhysics/Transonic/Exterior/FastRange.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.FixedInterval.hornerChunk line 9
2. lemma OAI.SepticProfile.FixedInterval.hornerChunk_full line 13
3. lemma OAI.SepticProfile.FixedInterval.hornerChunk_step line 21
4. lemma OAI.SepticProfile.FixedInterval.treeSumBox_zero line 26
5. def OAI.SepticProfile.FixedInterval.fastSumBox line 35
6. lemma OAI.SepticProfile.FixedInterval.fastSumBox_eq line 40
7. def OAI.SepticProfile.FixedInterval.fastConvBox line 55
8. lemma OAI.SepticProfile.FixedInterval.fastConvBox_eq line 58