OAI/Combinatorics/Chromatic/Walls/SectionGenericPerturbation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ElementaryPositivity.QuantumTorus.section_positive_perturbation line 16
2. lemma OAI.ElementaryPositivity.QuantumTorus.section_generic_offset line 50
3. lemma OAI.ElementaryPositivity.QuantumTorus.uniform_section_positive_perturbation line 77
4. lemma OAI.ElementaryPositivity.QuantumTorus.uniform_section_generic_offset line 111
5. structure OAI.ElementaryPositivity.QuantumTorus.LineTransfer line 138
6. def OAI.ElementaryPositivity.QuantumTorus.LineTransfer.operator line 144
7. lemma OAI.ElementaryPositivity.QuantumTorus.LineTransfer.constantCoeff_operator line 148
8. def OAI.ElementaryPositivity.QuantumTorus.LineTransfer.delta line 155
9. def OAI.ElementaryPositivity.QuantumTorus.LineTransfer.PositiveThrough line 161
10. lemma OAI.ElementaryPositivity.QuantumTorus.section_line_transfer line 168