OAI/Analysis/Triangular/Signs/DeletedJets.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Construction.complexDeleted line 11
2. def OAI.AtomicTriangular.Construction.complexTaylor line 13
3. lemma OAI.AtomicTriangular.Construction.complexDeleted_re line 15
4. lemma OAI.AtomicTriangular.Construction.complexDeleted_add line 25
5. lemma OAI.AtomicTriangular.Construction.complexDeleted_mul line 29
6. lemma OAI.AtomicTriangular.Construction.complexDeleted_sum line 33
7. lemma OAI.AtomicTriangular.Construction.complexTaylor_add line 39
8. lemma OAI.AtomicTriangular.Construction.complexTaylor_mul line 42
9. lemma OAI.AtomicTriangular.Construction.complexTaylor_sum line 45
10. lemma OAI.AtomicTriangular.Construction.complexDeleted_exp line 49
11. lemma OAI.AtomicTriangular.Construction.complexTaylor_exp line 54