OAI/Combinatorics/Chromatic/Witness/ElementaryAlphabetRigidity.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.ElementaryRigidity.eval line 13
2. def OAI.ElementaryPositivity.ElementaryRigidity.partitionPolynomial line 17
3. lemma OAI.ElementaryPositivity.ElementaryRigidity.eval_partition line 23
4. lemma OAI.ElementaryPositivity.ElementaryRigidity.map_eval line 40
5. lemma OAI.ElementaryPositivity.ElementaryRigidity.eval_injective_ring line 49
6. lemma OAI.ElementaryPositivity.ElementaryRigidity.eval_injective_natPolynomial line 56
7. lemma OAI.ElementaryPositivity.ElementaryRigidity.eval_C line 64
8. lemma OAI.ElementaryPositivity.ElementaryRigidity.uniform_of_at_n line 67
9. lemma OAI.ElementaryPositivity.FiniteSearch.test_of_expansion line 91
10. lemma OAI.ElementaryPositivity.FiniteSearch.expansion_of_test line 101
11. lemma OAI.ElementaryPositivity.FiniteSearch.uniform_expansion_of_test line 121
12. lemma OAI.ElementaryPositivity.FiniteSearch.exists_test line 136