OAI/RepresentationTheory/UniversalSquare/Contraction/FlagDetection.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Flag Detection.

  1. lemma OAI.Saxl.cyclic_support_tableau line 14
  2. lemma OAI.Saxl.cyclic_support_relabel_iff line 25
  3. lemma OAI.Saxl.relabelWord_pair line 40
  4. lemma OAI.Saxl.relabelWord_symm_pair line 48
  5. lemma OAI.Saxl.relabelWord_alphabet line 54
  6. lemma OAI.Saxl.FlagColumns.blocks_congr_word line 66
  7. theorem OAI.Saxl.FlagColumns.columns_necessary line 78
  8. theorem OAI.Saxl.FlagColumns.columns_sufficient line 120