OAI/Combinatorics/Chromatic/Shuffle/PackOrbitBasis.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ElementaryPositivity.RawShuffle.packSymmetric_coeff_permute line 16
  2. lemma OAI.ElementaryPositivity.RawShuffle.packSymmetric_coeff_sorted line 24
  3. lemma OAI.ElementaryPositivity.RawShuffle.packSymmetric_iff_fibre line 31
  4. def OAI.ElementaryPositivity.RawShuffle.packFibreEquiv line 45
  5. def OAI.ElementaryPositivity.RawShuffle.packOrbitBasis line 54
  6. lemma OAI.ElementaryPositivity.RawShuffle.packOrbitBasis_coeff line 59
  7. def OAI.ElementaryPositivity.RawShuffle.sortedPackDegree line 67
  8. lemma OAI.ElementaryPositivity.RawShuffle.packExponent_degree_sort line 71
  9. lemma OAI.ElementaryPositivity.RawShuffle.packOrbitBasis_homogeneous line 81
  10. lemma OAI.ElementaryPositivity.RawShuffle.packOrbitBasis_component line 92
  11. theorem OAI.ElementaryPositivity.RawShuffle.packHilbert_coefficient line 99