OAI/Combinatorics/ThinTrees/OptionalDirections.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StrongThinTree.MSS.coefficientX line 15
2. def OAI.StrongThinTree.MSS.uniSlice line 19
3. lemma OAI.StrongThinTree.MSS.coefficientX_C line 23
4. lemma OAI.StrongThinTree.MSS.coefficientX_X line 27
5. lemma OAI.StrongThinTree.MSS.uniSlice_C line 31
6. lemma OAI.StrongThinTree.MSS.uniSlice_X line 35
7. lemma OAI.StrongThinTree.MSS.coefficientX_pderiv line 39
8. lemma OAI.StrongThinTree.MSS.coefficientX_diffProduct line 51
9. lemma OAI.StrongThinTree.MSS.eval_zero_coefficientX line 59
10. lemma OAI.StrongThinTree.MSS.uniSlice_map line 69
11. lemma OAI.StrongThinTree.MSS.diffProduct_map line 77
12. lemma OAI.StrongThinTree.MSS.uniSlice_eq_slice line 85