OAI/RepresentationTheory/UniversalSquare/Specht/ThreeRowProjected.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Three Row Projected.

  1. lemma OAI.Saxl.ThreeRow.columns_height line 16
  2. theorem OAI.Saxl.ThreeRow.projected_support line 22