OAI/Combinatorics/Chromatic/QuantumTorus/LatticeHahn.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.QuantumTorus.latticeHahn line 19
2. lemma OAI.ElementaryPositivity.QuantumTorus.latticeHahn_monomial line 26
3. lemma OAI.ElementaryPositivity.QuantumTorus.latticeHahn_coeff line 33
4. lemma OAI.ElementaryPositivity.QuantumTorus.latticeHahn_injective line 39
5. lemma OAI.ElementaryPositivity.QuantumTorus.hahn_single_shift_adjoint line 46