OAI/Combinatorics/Chromatic/Walls/TorusAdjointExpansion.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.QuantumTorus.torus_ring_eval_sum line 19
2. lemma OAI.ElementaryPositivity.QuantumTorus.torus_eq_sum_X line 28
3. lemma OAI.ElementaryPositivity.QuantumTorus.adjoint_torus_expansion line 33
4. lemma OAI.ElementaryPositivity.QuantumTorus.adjoint_target_positive line 54
5. lemma OAI.ElementaryPositivity.QuantumTorus.adjoint_increment_positive line 69