OAI/Combinatorics/Chromatic/Walls/InfinityFiniteLoop.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.RationalFiber.actualInfinityPath_loop_commute line 26
2. lemma OAI.ElementaryPositivity.RationalFiber.actualInfinityPath_loop_row_commute line 48
3. lemma OAI.ElementaryPositivity.QuantumTorus.positive_root_ne_zero line 79
4. lemma OAI.ElementaryPositivity.QuantumTorus.completed_central_through line 92
5. lemma OAI.ElementaryPositivity.QuantumTorus.completed_adjoint_faithful_through line 114
6. lemma OAI.ElementaryPositivity.QuantumTorus.completed_adjoint_faithful line 129