OAI/RepresentationTheory/UniversalSquare/Specht/FlagColumns.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Flag Columns.

  1. def OAI.Saxl.FlagColumns.pure line 17
  2. def OAI.Saxl.FlagColumns.wedge line 20
  3. def OAI.Saxl.FlagColumns.blocks line 23
  4. lemma OAI.Saxl.FlagColumns.blocks_nil line 26
  5. lemma OAI.Saxl.FlagColumns.blocks_cons line 32
  6. lemma OAI.Saxl.FlagColumns.mapped_placed line 70
  7. def OAI.Saxl.FlagColumns.tensorList line 104
  8. lemma OAI.Saxl.FlagColumns.blocks_pair_tensorList line 109
  9. lemma OAI.Saxl.FlagColumns.altWord_injective_base line 130
  10. lemma OAI.Saxl.FlagColumns.altWord_real line 151
  11. lemma OAI.Saxl.FlagColumns.wedge_eq_mapped_alt line 162
  12. theorem OAI.Saxl.FlagColumns.common_flag_tensorList line 183