OAI/Combinatorics/Chromatic/Histories/KernelEvaluation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.RawShuffle.SplitTree.leafVarsEquiv line 16
2. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.leafVarsEquiv_center line 28
3. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.leafVarsEquiv_pack line 37
4. def OAI.ElementaryPositivity.RawShuffle.SplitTree.pointedTensorRestriction line 45
5. def OAI.ElementaryPositivity.RawShuffle.SplitTree.crossPointEval line 54
6. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.pointedTensorRestriction_quotient line 59
7. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.pointed_quotientInverseKernel line 87
8. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.crossPointEval_inverseKernel line 105