OAI/RepresentationTheory/UniversalSquare/Specht/ColumnReorder.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Column Reorder.

  1. theorem OAI.Saxl.Columns.columns_equiv_of_perm line 16
  2. theorem OAI.Saxl.Columns.place_columns line 56
  3. def OAI.Saxl.Columns.listColumnPerm line 64
  4. lemma OAI.Saxl.Columns.listColumnPerm_bijective line 71
  5. lemma OAI.Saxl.Columns.listColumnPerm_sign line 91
  6. lemma OAI.Saxl.Columns.mapped_placed_columns line 97
  7. lemma OAI.Saxl.Columns.positionProduct_pair line 132
  8. def OAI.Saxl.Columns.columnWedge line 150
  9. lemma OAI.Saxl.Columns.dualBlockWord_cons line 154