OAI/Combinatorics/Chromatic/Shuffle/AllPairDiagonal.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.CenterCalculus.mapLinear_extendPolynomial line 12
2. lemma OAI.ElementaryPositivity.CenterCalculus.extendPolynomial_symm line 21
3. lemma OAI.ElementaryPositivity.RawShuffle.dimensionEquivB_mem_sourceFiltration line 38
4. def OAI.ElementaryPositivity.RawShuffle.SplitTree.leadingPolynomial line 48
5. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.Regroup.leadingPolynomial_natural line 54
6. theorem OAI.ElementaryPositivity.RawShuffle.SplitTree.leadingPolynomial_diagonal_divisible line 68