OAI/RepresentationTheory/UniversalSquare/Specht/ZeroColumns.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

Zero Columns.

  1. theorem OAI.Saxl.Columns.discard_zero_columns line 14
  2. def OAI.Saxl.Columns.positiveSorted line 52
  3. lemma OAI.Saxl.Columns.positiveSorted_perm line 55
  4. lemma OAI.Saxl.Columns.positiveSorted_sorted line 60
  5. lemma OAI.Saxl.Columns.positiveSorted_pos line 63
  6. def OAI.Saxl.Columns.columnShape line 67
  7. lemma OAI.Saxl.Columns.columnShape_cols line 70
  8. theorem OAI.Saxl.Columns.columnShape_placement line 75
  9. lemma OAI.Saxl.Columns.placed_card line 85
  10. lemma OAI.Saxl.Columns.columnShape_card line 90
  11. lemma OAI.Saxl.Columns.row_lt_some_height line 94
  12. lemma OAI.Saxl.Columns.placed_height line 104
  13. lemma OAI.Saxl.Columns.columnShape_height line 116
  14. lemma OAI.Saxl.Columns.sum_fin_val_ite line 121
  15. lemma OAI.Saxl.Columns.cells_row_count line 135
  16. def OAI.Saxl.Columns.rowFiberEquiv line 148
  17. lemma OAI.Saxl.Columns.placed_rowLen line 160
  18. lemma OAI.Saxl.Columns.columnShape_rowLen line 170