OAI/Topology/ArtinGroups/Realizations/WeightMap.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.weightMap line 14
2. lemma OAI.HarmonicArtin.weightMap_chain line 31
3. lemma OAI.HarmonicArtin.chainWeightsChart_continuous line 39
4. lemma OAI.HarmonicArtin.weightMap_continuous line 43
5. def OAI.HarmonicArtin.weightMapContinuous line 49
6. lemma OAI.HarmonicArtin.weightMap_id line 52
7. lemma OAI.HarmonicArtin.weightMap_comp line 56
8. lemma OAI.HarmonicArtin.weightMap_injective line 61
9. lemma OAI.HarmonicArtin.weightMap_apply_embedding line 68
10. lemma OAI.HarmonicArtin.weightMap_support_embedding line 73