OAI/Topology/ArtinGroups/Harmonic/SignedLetter.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.sourceSignedLetter line 18
2. def OAI.HarmonicArtin.sourceSignedWord line 20
3. lemma OAI.HarmonicArtin.sourceSignedWord_cons line 24
4. lemma OAI.HarmonicArtin.sourceSignedWord_append line 28
5. lemma OAI.HarmonicArtin.artinParabolic_signed_word line 33
6. lemma OAI.HarmonicArtin.sourceSignedWord_mem line 54
7. lemma OAI.HarmonicArtin.sourceArtinAction_signedWord line 66
8. lemma OAI.HarmonicArtin.sourcePacketOrbit_signedPrepend line 77