OAI/Combinatorics/Chromatic/GradedAlgebra/MutationDegreeBound.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ElementaryPositivity.QuantumTorus.mutationSize line 13
2. lemma OAI.ElementaryPositivity.QuantumTorus.mutationSize_bound line 15
3. lemma OAI.ElementaryPositivity.QuantumTorus.side_upper_le_abs line 21
4. lemma OAI.ElementaryPositivity.QuantumTorus.fiberUpper_degree_bound line 29
5. lemma OAI.ElementaryPositivity.QuantumTorus.fiber_full_degree_bound line 44
6. lemma OAI.ElementaryPositivity.QuantumTorus.mutation_root_image_bound line 53
7. theorem OAI.ElementaryPositivity.QuantumTorus.actual_wall_mutation_root_bound line 72