OAI/RepresentationTheory/UniversalSquare/Balance/PackingSupport.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Packing Support.

  1. theorem OAI.Saxl.cyclic_supportLE_coind line 17
  2. theorem OAI.Saxl.SupportLE.cyclic_image line 41
  3. def OAI.Saxl.cyclicProductMap line 54
  4. lemma OAI.Saxl.cyclicProduct_mem_range line 62
  5. theorem OAI.Saxl.product_supportLE_coind line 69
  6. theorem OAI.Saxl.young_cyclic_support line 93