OAI/Analysis/Triangular/Construction/ActualInterpolation.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.otherSide_zero line 9
2. lemma OAI.AtomicTriangular.Construction.otherSide_one line 10
3. def OAI.AtomicTriangular.Construction.actualJ line 11
4. def OAI.AtomicTriangular.Construction.gaussianG line 13
5. lemma OAI.AtomicTriangular.Construction.gaussianG_deriv line 14
6. lemma OAI.AtomicTriangular.Construction.negativeJet_gaussian line 18
7. lemma OAI.AtomicTriangular.Construction.negativeJet_injective line 23
8. lemma OAI.AtomicTriangular.Construction.finiteNode_surj line 37
9. lemma OAI.AtomicTriangular.Construction.rowNode_cover line 40
10. lemma OAI.AtomicTriangular.Construction.actual_node_negative line 54
11. lemma OAI.AtomicTriangular.Construction.actual_interpolation line 71