OAI/Combinatorics/Chromatic/Shuffle/CrossScalar.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.prod_packVariables line 15
2. def OAI.ElementaryPositivity.RawShuffle.SplitTree.scalarCrossKernel line 25
3. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.packProduct_eq_scalarCrossKernel line 30
4. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.crossPointEval_inverseKernel_scalar line 72
5. lemma OAI.ElementaryPositivity.CoefficientIdeals.map_quotient_eq_zero_iff line 85
6. lemma OAI.ElementaryPositivity.CoefficientIdeals.coeff_mul_mem line 97
7. lemma OAI.ElementaryPositivity.RawShuffle.sourceFiltration_mul_mem line 112
8. def OAI.ElementaryPositivity.RawShuffle.sourceFiltrationIdeal line 128