OAI/Combinatorics/Chromatic/Witness/ElementaryProductDegree.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.ElementaryMatrix.colCount_degree line 14
2. lemma OAI.ElementaryPositivity.ElementaryMatrix.elementary_product_coeff_zero line 19
3. lemma OAI.ElementaryPositivity.Packets.coloring_monomial line 37
4. lemma OAI.ElementaryPositivity.NaturalUnitIntervalGraph.inversion_coefficient line 48
5. lemma OAI.ElementaryPositivity.NaturalUnitIntervalGraph.inversion_coefficient_zero line 60
6. lemma OAI.ElementaryPositivity.TriangularDynamics.decorated_polynomial_expansion line 80
7. lemma OAI.ElementaryPositivity.TriangularDynamics.admissible_polynomial_expansion line 104
8. def OAI.ElementaryPositivity.NaturalUnitIntervalGraph.ofAdmissibleWitness line 122