OAI/Combinatorics/Chromatic/Shuffle/TripleFiltration.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.LinearDetection.additiveTensorFiltration_top line 10
2. def OAI.ElementaryPositivity.RawShuffle.sourceTripleFiltration line 26
3. def OAI.ElementaryPositivity.RawShuffle.indexedTensorRestriction line 32
4. lemma OAI.ElementaryPositivity.RawShuffle.sourceTensorFiltration_eq_testFiltration line 36
5. lemma OAI.ElementaryPositivity.RawShuffle.sourceTensorFiltration_lower line 46
6. theorem OAI.ElementaryPositivity.RawShuffle.sourceTripleFiltration_iff line 52
7. lemma OAI.ElementaryPositivity.RawShuffle.triple_leading_restrictions_detect line 75