OAI/Combinatorics/Chromatic/Shuffle/CellTransferSeparation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.mappedInverseKernel_ratio line 18
2. lemma OAI.ElementaryPositivity.RawShuffle.cellTransfer_normalized line 25
3. lemma OAI.ElementaryPositivity.RawShuffle.eulerForm_transpose line 49
4. def OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.mixedInverseKernelUnit line 63
5. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.pointed_mixedInverseKernel line 70
6. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.refined_mixedKernel_degreeZero line 88
7. def OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.braidingRatioUnit line 106
8. lemma OAI.ElementaryPositivity.RawShuffle.SplitTree.scalarCrossKernel_transpose line 115
9. lemma OAI.ElementaryPositivity.RawShuffle.SeparationInfinity.refined_braidingRatio_degreeZero line 132