OAI/Topology/ArtinGroups/Realizations/WeightAttach.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.weightAttach line 14
2. lemma OAI.HarmonicArtin.weightAttach_old line 22
3. lemma OAI.HarmonicArtin.weightAttach_cone line 24
4. lemma OAI.HarmonicArtin.weightAttach_surjective line 27
5. lemma OAI.HarmonicArtin.weightAttach_injective line 32
6. def OAI.HarmonicArtin.weightAttachEquiv line 88
7. lemma OAI.HarmonicArtin.weightAttachEquiv_symm_old line 92
8. lemma OAI.HarmonicArtin.weightAttachEquiv_symm_cone line 97
9. def OAI.HarmonicArtin.weightAttachHomeomorph line 102