OAI/Combinatorics/Chromatic/Shuffle/HNDiagonalConstant.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RawShuffle.rawRelativeSeries_constant line 16
2. lemma OAI.ElementaryPositivity.RawShuffle.fourGridPolynomial_castSources line 23
3. lemma OAI.ElementaryPositivity.RawShuffle.clearedConstantB_cell_head line 30
4. lemma OAI.ElementaryPositivity.RawShuffle.castBTensor_quotient_tmul line 45
5. lemma OAI.ElementaryPositivity.RawShuffle.clearedConstantB_cell_head_cast line 51