OAI/Combinatorics/Chromatic/GradedAlgebra/RootCoefficientLocality.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.QuantumTorus.root_interval_orthogonal line 23
2. lemma OAI.ElementaryPositivity.QuantumTorus.actualMonomialAdjoint_locality line 54
3. lemma OAI.ElementaryPositivity.QuantumTorus.actualPolynomialAdjoint_locality line 84