OAI/Combinatorics/Chromatic/Shuffle/GlobalShuffleCoalgebra.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. instance OAI.ElementaryPositivity.RawShuffle.globalCoalgebra line 16
  2. def OAI.ElementaryPositivity.RawShuffle.globalCoproductAlgHom line 25
  3. def OAI.ElementaryPositivity.RawShuffle.dimensionSize line 40
  4. lemma OAI.ElementaryPositivity.RawShuffle.dimensionSize_add line 43
  5. lemma OAI.ElementaryPositivity.RawShuffle.dimensionSize_eq_zero line 47
  6. def OAI.ElementaryPositivity.RawShuffle.convVanishes line 55
  7. lemma OAI.ElementaryPositivity.RawShuffle.convVanishes_zero line 61
  8. lemma OAI.ElementaryPositivity.RawShuffle.convVanishes_mono line 67
  9. lemma OAI.ElementaryPositivity.RawShuffle.globalTensorGrade_map_vanishes line 73
  10. lemma OAI.ElementaryPositivity.RawShuffle.convVanishes_mul line 89
  11. lemma OAI.ElementaryPositivity.RawShuffle.convVanishes_pow line 109
  12. def OAI.ElementaryPositivity.RawShuffle.convolutionJ line 118
  13. lemma OAI.ElementaryPositivity.RawShuffle.zeroDimension_lof_scalar line 121
  14. lemma OAI.ElementaryPositivity.RawShuffle.convolutionJ_vanishes line 141
  15. lemma OAI.ElementaryPositivity.RawShuffle.convolutionJ_pow_eq_zero line 153