OAI/Combinatorics/Chromatic/Shuffle/GridShapeTensor.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.realization_card line 15
2. lemma OAI.ElementaryPositivity.RawShuffle.targetEmbedding_realization line 21
3. lemma OAI.ElementaryPositivity.RawShuffle.targetValueAt_restrictTensor line 31
4. def OAI.ElementaryPositivity.RawShuffle.gridShapeTensor line 51
5. lemma OAI.ElementaryPositivity.RawShuffle.targetValueAt_gridShapeTensor line 62
6. def OAI.ElementaryPositivity.RawShuffle.gridTensor line 75
7. lemma OAI.ElementaryPositivity.RawShuffle.targetValueAt_gridTensor line 80