OAI/Combinatorics/Chromatic/Walls/AllOrderSectionLine.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.QuantumTorus.section_event_ray_all_orders line 16
2. lemma OAI.ElementaryPositivity.QuantumTorus.section_all_order_offset line 37
3. lemma OAI.ElementaryPositivity.QuantumTorus.line_chamber_of_not_event line 56
4. lemma OAI.ElementaryPositivity.QuantumTorus.chamber_chart_trivial line 72
5. lemma OAI.ElementaryPositivity.QuantumTorus.line_chart_trivial line 90
6. lemma OAI.ElementaryPositivity.QuantumTorus.realRootsThrough_mono line 97
7. lemma OAI.ElementaryPositivity.QuantumTorus.lineEvents_mono line 102