OAI/Analysis/Triangular/Taylor/FiniteTaylorIdentity.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Construction.finiteWaveJet line 10
2. lemma OAI.AtomicTriangular.Construction.hasDerivAt_finiteWaveJet line 12
3. def OAI.AtomicTriangular.Construction.finiteJJet line 20
4. def OAI.AtomicTriangular.Construction.finiteJ line 24
5. lemma OAI.AtomicTriangular.Construction.hasDerivAt_finiteJJet line 25
6. lemma OAI.AtomicTriangular.Construction.finiteJJet_re_iterated line 34
7. lemma OAI.AtomicTriangular.Construction.taylorWave_eq line 41
8. lemma OAI.AtomicTriangular.Construction.taylorRow_dot line 43
9. lemma OAI.AtomicTriangular.Construction.finiteTaylor_exact line 62