OAI/RepresentationTheory/FoulkesSixth/ColorOrbits.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Foulkes.Young.counts line 14
  2. lemma OAI.Foulkes.Young.counts_reindex line 17
  3. lemma OAI.Foulkes.Young.exists_perm_of_counts_eq line 22
  4. lemma OAI.Foulkes.Young.counts_total line 33
  5. lemma OAI.Foulkes.Young.counts_pair_fst line 40
  6. lemma OAI.Foulkes.Young.counts_pair_snd line 55
  7. lemma OAI.Foulkes.Young.exists_coloring line 69
  8. def OAI.Foulkes.Young.Coloring line 85
  9. instance OAI.Foulkes.Young.(instance at line 88) line 88
  10. instance OAI.Foulkes.Young.coloringAction line 94
  11. lemma OAI.Foulkes.Young.coloring_smul_apply line 100
  12. def OAI.Foulkes.Young.Contingency line 104
  13. def OAI.Foulkes.Young.intersectionCounts line 111
  14. lemma OAI.Foulkes.Young.intersectionCounts_smul line 116
  15. lemma OAI.Foulkes.Young.orbit_iff_intersectionCounts line 123
  16. lemma OAI.Foulkes.Young.intersectionCounts_surjective line 140
  17. def OAI.Foulkes.Young.orbitContingencyEquiv line 161
  18. theorem OAI.Foulkes.Young.young_hom_finrank line 182