OAI/Combinatorics/Chromatic/QuantumTorus/NearCutPolynomialSeeds.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.QuantumTorus.PureInitialRelation line 23
2. lemma OAI.ElementaryPositivity.QuantumTorus.rootOrder_simple line 30
3. lemma OAI.ElementaryPositivity.QuantumTorus.nearCut_old_positive_seed line 34
4. lemma OAI.ElementaryPositivity.QuantumTorus.pure_mutated_inverse_finite line 47
5. lemma OAI.ElementaryPositivity.QuantumTorus.nearCut_new_positive_seed line 72
6. lemma OAI.ElementaryPositivity.QuantumTorus.polynomialSection_mutation line 109