OAI/Topology/ArtinGroups/Diagrams/Circle.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.TemperleyLieb.circle line 9
2. def OAI.HarmonicArtin.TemperleyLieb.quantumRatio line 11
3. lemma OAI.HarmonicArtin.TemperleyLieb.quantumRatio_zero line 14
4. lemma OAI.HarmonicArtin.TemperleyLieb.quantumRatio_reciprocal line 17
5. def OAI.HarmonicArtin.TemperleyLieb.jonesWenzl line 39
6. lemma OAI.HarmonicArtin.TemperleyLieb.jonesWenzl_properties line 42
7. lemma OAI.HarmonicArtin.TemperleyLieb.jonesWenzl_ne_zero line 49
8. lemma OAI.HarmonicArtin.TemperleyLieb.jonesWenzl_corner line 52