OAI/Topology/ArtinGroups/Realizations/WeightMapCover.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.WeightMapCover line 15
2. lemma OAI.HarmonicArtin.weightMapCover_rep line 18
3. def OAI.HarmonicArtin.weightMapGlueIndex line 25
4. def OAI.HarmonicArtin.weightMapGlueRep line 27
5. lemma OAI.HarmonicArtin.weightMapGlueRep_map line 29
6. def OAI.HarmonicArtin.WeightMapCompatible line 35
7. def OAI.HarmonicArtin.weightMapGlueValue line 39
8. lemma OAI.HarmonicArtin.weightMapGlueValue_on line 43
9. lemma OAI.HarmonicArtin.weightMapGlueValue_continuous line 48
10. def OAI.HarmonicArtin.weightMapGlue line 63