OAI/Topology/ArtinGroups/Realizations/WeightChainCover.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.WeightChainCover line 16
2. lemma OAI.HarmonicArtin.weightChainCover_rep line 19
3. def OAI.HarmonicArtin.weightGlueIndex line 29
4. def OAI.HarmonicArtin.weightGlueRep line 31
5. lemma OAI.HarmonicArtin.weightGlueRep_map line 33
6. def OAI.HarmonicArtin.WeightCompatible line 39
7. def OAI.HarmonicArtin.weightGlueValue line 44
8. lemma OAI.HarmonicArtin.weightGlueValue_on line 48
9. lemma OAI.HarmonicArtin.weightGlueValue_continuous line 53
10. def OAI.HarmonicArtin.weightGlue line 70