OAI/Combinatorics/ThinTrees/Translation.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StrongThinTree.MSS.basePencil_map line 16
2. lemma OAI.StrongThinTree.MSS.eval_zero_map line 26
3. lemma OAI.StrongThinTree.MSS.mixedEval_map line 34
4. lemma OAI.StrongThinTree.MSS.mixedChar_eval line 40
5. def OAI.StrongThinTree.MSS.translate line 54
6. lemma OAI.StrongThinTree.MSS.translate_C line 58
7. lemma OAI.StrongThinTree.MSS.translate_X line 62
8. lemma OAI.StrongThinTree.MSS.translate_pderiv line 67
9. lemma OAI.StrongThinTree.MSS.translate_diffProduct line 83
10. lemma OAI.StrongThinTree.MSS.eval_zero_translate line 91
11. lemma OAI.StrongThinTree.MSS.translate_linear_sum line 101
12. lemma OAI.StrongThinTree.MSS.translate_pencil line 108
13. lemma OAI.StrongThinTree.MSS.mixedChar_eval_diagonal line 126