OAI/RepresentationTheory/UniversalSquare/Balance/WordPacking.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Word Packing.

  1. lemma OAI.Saxl.sum_wordContent line 16
  2. lemma OAI.Saxl.single_joinPositions line 23
  3. def OAI.Saxl.Balance.Packing.congr line 36
  4. structure OAI.Saxl.Balance.WordPacking line 48
  5. lemma OAI.Saxl.Balance.WordPacking.total line 55
  6. def OAI.Saxl.Balance.WordPacking.join line 63
  7. def OAI.Saxl.Balance.WordPacking.sorted line 108
  8. theorem OAI.Saxl.Balance.WordPacking.kronecker_pos line 123