OAI/Combinatorics/Chromatic/QuantumTorus/ConeSectionDomination.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.QuantumTorus.coneDelta line 30
2. lemma OAI.ElementaryPositivity.QuantumTorus.coneDelta_graded line 32
3. def OAI.ElementaryPositivity.QuantumTorus.coneThetaInitial line 43
4. def OAI.ElementaryPositivity.QuantumTorus.coneThetaValue line 45
5. lemma OAI.ElementaryPositivity.QuantumTorus.coneThetaInitial_graded line 47
6. lemma OAI.ElementaryPositivity.QuantumTorus.coneThetaInitial_prescription line 50
7. lemma OAI.ElementaryPositivity.QuantumTorus.sectionIncoming_sub line 54
8. lemma OAI.ElementaryPositivity.QuantumTorus.coneThetaValue_positive line 68
9. lemma OAI.ElementaryPositivity.QuantumTorus.coneTheta_domination line 82