OAI/Topology/ArtinGroups/Realizations/WeightColor.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.weightColor line 13
2. lemma OAI.HarmonicArtin.weightColor_eq line 16
3. lemma OAI.HarmonicArtin.weightColor_continuous line 22
4. lemma OAI.HarmonicArtin.weightColor_vertex line 38
5. lemma OAI.HarmonicArtin.orderWeights_colors_eq line 43
6. def OAI.HarmonicArtin.weightSource line 54
7. lemma OAI.HarmonicArtin.weightSource_eq line 58
8. lemma OAI.HarmonicArtin.weightSource_of_empty line 63
9. lemma OAI.HarmonicArtin.weightSource_near line 66
10. lemma OAI.HarmonicArtin.weightSource_comparable line 87
11. theorem OAI.HarmonicArtin.orderWeights_contractible_connected line 99