OAI/Analysis/Triangular/Construction/NodeJets.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.factor_second_third line 9
2. lemma OAI.AtomicTriangular.Construction.P_cBasis line 23
3. lemma OAI.AtomicTriangular.Construction.cBasis_at_node line 30
4. lemma OAI.AtomicTriangular.Construction.cBasis_deriv_at_node line 38
5. lemma OAI.AtomicTriangular.Construction.dBasis_cBasis line 45
6. lemma OAI.AtomicTriangular.Construction.deriv_dBasis_at_node line 51
7. lemma OAI.AtomicTriangular.Construction.cBasis_other_node line 57
8. lemma OAI.AtomicTriangular.Construction.dBasis_other_node line 59
9. lemma OAI.AtomicTriangular.Construction.deriv_cBasis_other_node line 62
10. lemma OAI.AtomicTriangular.Construction.deriv_dBasis_other_node line 71