OAI/Combinatorics/Chromatic/Walls/FourCellFactorization.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.RawShuffle.firstColumn line 14
2. def OAI.ElementaryPositivity.RawShuffle.secondColumn line 18
3. lemma OAI.ElementaryPositivity.RawShuffle.canonical_first_column line 23
4. lemma OAI.ElementaryPositivity.RawShuffle.canonical_second_column line 34
5. def OAI.ElementaryPositivity.RawShuffle.cutUnivRealization line 44
6. lemma OAI.ElementaryPositivity.RawShuffle.labeledPolynomial_univ_restrict line 48
7. def OAI.ElementaryPositivity.RawShuffle.firstColumnVars line 66
8. def OAI.ElementaryPositivity.RawShuffle.secondColumnVars line 71
9. lemma OAI.ElementaryPositivity.RawShuffle.fourGridPolynomial_factor line 76