OAI/RepresentationTheory/UniversalSquare/Specht/DualPolytabloid.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Dual Polytabloid.

  1. theorem OAI.Saxl.intertwining_extend_injective line 17
  2. lemma OAI.Saxl.cyclic_zero_mem_iff line 33
  3. theorem OAI.Saxl.dual_polytabloid_necessary line 38
  4. theorem OAI.Saxl.specht_to_cyclic_of_vector_pair line 73
  5. theorem OAI.Saxl.dual_polytabloid_iff line 100