OAI/RepresentationTheory/UniversalSquare/Balance/BalancePacking.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Balance Packing.

  1. structure OAI.Saxl.Balance.Packing line 16
  2. def OAI.Saxl.Balance.Packing.join line 35
  3. def OAI.Saxl.Balance.Packing.map line 54
  4. def OAI.Saxl.Balance.Packing.lift line 61
  5. def OAI.Saxl.Balance.Packing.replace line 68
  6. def OAI.Saxl.Balance.boundedPacking line 75
  7. theorem OAI.Saxl.Balance.Packing.kronecker_pos line 102