OAI/Combinatorics/Chromatic/Walls/Grid.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.PackConvolution.grid line 14
2. lemma OAI.ElementaryPositivity.PackConvolution.grid_inverse_left line 21
3. lemma OAI.ElementaryPositivity.PackConvolution.grid_inverse_right line 23
4. lemma OAI.ElementaryPositivity.PackConvolution.grid_kernel line 28
5. theorem OAI.ElementaryPositivity.PackConvolution.shuffle_grid line 45