OAI/RepresentationTheory/UniversalSquare/Contraction/ContractionNecessary.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Contraction Necessary.

  1. lemma OAI.Saxl.polytabloid_action line 15
  2. lemma OAI.Saxl.spechtTensor_linear_ext line 24
  3. theorem OAI.Saxl.kronecker_contraction_necessary line 55