OAI/Combinatorics/Chromatic/Shuffle/ClearedSeparationB.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.RawShuffle.clearedSeparationB line 20
2. lemma OAI.ElementaryPositivity.RawShuffle.mapRing_ratio_val line 26
3. lemma OAI.ElementaryPositivity.RawShuffle.clearedSeparationB_mk line 33
4. lemma OAI.ElementaryPositivity.RawShuffle.unitalSeparationSeries_shuffle_grid line 43
5. lemma OAI.ElementaryPositivity.RawShuffle.clearedSeparationB_zero_of_quotient line 56
6. lemma OAI.ElementaryPositivity.RawShuffle.quotient_cellTransfer_filtered line 76