OAI/RepresentationTheory/UniversalSquare/Balance/WordPackingPieri.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Word Packing Pieri.

  1. lemma OAI.Saxl.Balance.short_transpose_height line 18
  2. lemma OAI.Saxl.Balance.repeat_transpose_height line 23
  3. lemma OAI.Saxl.Balance.repeat_transpose_rows line 30
  4. lemma OAI.Saxl.Balance.repeated_twos_shape line 39
  5. lemma OAI.Saxl.Balance.two_paths_two_support_sizes line 53
  6. theorem OAI.Saxl.Balance.WordPacking.twoPaths line 67
  7. lemma OAI.Saxl.Balance.even_twos_odd_support_sizes line 85
  8. theorem OAI.Saxl.Balance.WordPacking.twosOdd line 98