OAI/Topology/ArtinGroups/Harmonic/ProbePacket.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.sourceProbePacket line 23
2. lemma OAI.HarmonicArtin.sourceProbeWord_expand line 26
3. lemma OAI.HarmonicArtin.spherical_probe_word_property line 35
4. lemma OAI.HarmonicArtin.sourceProbePacket_braid line 58
5. lemma OAI.HarmonicArtin.sourceProbePacket_relators line 81
6. def OAI.HarmonicArtin.sourceProbeAction line 89
7. lemma OAI.HarmonicArtin.sourceProbeAction_generator line 92