OAI/Combinatorics/Chromatic/Walls/OrderedRootReordering.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.QuantumTorus.orderedPlaneProducts line 14
2. lemma OAI.ElementaryPositivity.QuantumTorus.indexedUnit_bool line 19
3. lemma OAI.ElementaryPositivity.QuantumTorus.listLiteral_product line 23
4. lemma OAI.ElementaryPositivity.QuantumTorus.orderedPlane_zero_finite line 43
5. lemma OAI.ElementaryPositivity.QuantumTorus.orderedPlaneProducts_graded line 79
6. theorem OAI.ElementaryPositivity.QuantumTorus.orderedPlane_zero_completed line 86
7. lemma OAI.ElementaryPositivity.QuantumTorus.SeriesGraded.list_prod line 105
8. lemma OAI.ElementaryPositivity.QuantumTorus.SeriesConverges.list_prod line 115
9. lemma OAI.ElementaryPositivity.QuantumTorus.literal_lists_ordered_product line 134
10. theorem OAI.ElementaryPositivity.QuantumTorus.completed_ordered_ray_product line 173