OAI/Topology/ArtinGroups/Functors/SignedPerm.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.ReversibleQuiver.ProbeEmbedding.classMap_absent line 15
2. lemma OAI.HarmonicArtin.ReversibleQuiver.ProbeEmbedding.classHom_dimension line 31
3. def OAI.HarmonicArtin.ReversibleQuiver.ProbeEmbedding.signedPerm line 38
4. def OAI.HarmonicArtin.ReversibleQuiver.ProbeEmbedding.wordPerm line 40
5. lemma OAI.HarmonicArtin.ReversibleQuiver.ProbeEmbedding.classMap_signedPerm line 44
6. lemma OAI.HarmonicArtin.ReversibleQuiver.ProbeEmbedding.classMap_wordPerm line 51
7. lemma OAI.HarmonicArtin.ReversibleQuiver.ProbeEmbedding.orbit_classHom_dimension line 60