OAI/RepresentationTheory/UniversalSquare/Balance/BalanceGluing.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Balance Gluing.

  1. structure OAI.Saxl.Balance.Piece line 17
  2. def OAI.Saxl.Balance.Piece.join line 30
  3. theorem OAI.Saxl.Balance.Piece.support line 83
  4. lemma OAI.Saxl.Balance.cyclicSquareMap_polytabloid line 100
  5. theorem OAI.Saxl.Balance.Piece.kronecker_pos line 105