OAI/Combinatorics/Chromatic/GradedAlgebra/DegreeSet.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.Homogeneity.component_mul line 10
2. lemma OAI.ElementaryPositivity.Homogeneity.of_mul line 27
3. lemma OAI.ElementaryPositivity.Homogeneity.constantWeight_rename line 38
4. lemma OAI.ElementaryPositivity.Homogeneity.constantWeight_component_rename line 52
5. def OAI.ElementaryPositivity.Homogeneity.degreeSet line 65
6. lemma OAI.ElementaryPositivity.Homogeneity.sum_components line 68
7. lemma OAI.ElementaryPositivity.Homogeneity.homogeneous_negative_eq_zero line 82