OAI/RepresentationTheory/FoulkesSixth/GenericShift.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.Foulkes.GenericShift.Poly line 14
  2. def OAI.Foulkes.GenericShift.shift line 16
  3. lemma OAI.Foulkes.GenericShift.shift_X line 19
  4. lemma OAI.Foulkes.GenericShift.derivation_sum_apply line 23
  5. lemma OAI.Foulkes.GenericShift.shift_eq_sum line 31
  6. lemma OAI.Foulkes.GenericShift.mapCoeffs_shift line 42
  7. lemma OAI.Foulkes.GenericShift.mapCoeffs_shift_pow line 48
  8. def OAI.Foulkes.GenericShift.rowLinear line 58
  9. lemma OAI.Foulkes.GenericShift.shift_rowLinear line 61
  10. lemma OAI.Foulkes.GenericShift.pow_apply_mul_of_left_zero line 65
  11. lemma OAI.Foulkes.GenericShift.pow_apply_pow line 74
  12. lemma OAI.Foulkes.GenericShift.derivation_prod_zero line 92
  13. def OAI.Foulkes.GenericShift.mixedProduct line 103
  14. lemma OAI.Foulkes.GenericShift.pow_apply_mixedProduct line 107
  15. def OAI.Foulkes.GenericShift.rowWeight line 141
  16. lemma OAI.Foulkes.GenericShift.rowLinear_homogeneous line 144
  17. def OAI.Foulkes.GenericShift.family line 151
  18. lemma OAI.Foulkes.GenericShift.shift_family line 156
  19. lemma OAI.Foulkes.GenericShift.family_degree_dest line 166
  20. lemma OAI.Foulkes.GenericShift.family_degree_source line 181
  21. lemma OAI.Foulkes.GenericShift.eval_rowLinear line 205