OAI/Combinatorics/Chromatic/Walls/AdjointExpansion.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.PowerSeriesAdjoint.cut_eq_monomial_sum line 12
2. lemma OAI.ElementaryPositivity.PowerSeriesAdjoint.adjoint_add line 20
3. lemma OAI.ElementaryPositivity.PowerSeriesAdjoint.adjoint_zero line 22
4. lemma OAI.ElementaryPositivity.PowerSeriesAdjoint.adjoint_sum line 23
5. lemma OAI.ElementaryPositivity.PowerSeriesAdjoint.monomial_C_X line 26
6. lemma OAI.ElementaryPositivity.PowerSeriesAdjoint.adjoint_X_pow line 29
7. lemma OAI.ElementaryPositivity.PowerSeriesAdjoint.adjoint_monomial line 33
8. lemma OAI.ElementaryPositivity.PowerSeriesAdjoint.coeff_adjoint_expansion line 36
9. lemma OAI.ElementaryPositivity.PowerSeriesAdjoint.coeff_adjoint_lower line 44
10. lemma OAI.ElementaryPositivity.PowerSeriesAdjoint.adjoint_smul line 50