OAI/Topology/ArtinGroups/Harmonic/ArtinActionWordArtin.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.sourceArtinAction_wordArtin line 21
2. lemma OAI.HarmonicArtin.sourceArtinAction_positiveWord line 38
3. lemma OAI.HarmonicArtin.sourceArtinAction_negativeWord line 43
4. theorem OAI.HarmonicArtin.source_finiteFamily_cap_accessible line 51