OAI/Topology/ArtinGroups/Harmonic/RowReflectWordReverse.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.rowReflectWord_reverse_orthogonal line 14
2. lemma OAI.HarmonicArtin.rowReflect_add line 22
3. lemma OAI.HarmonicArtin.rowReflectWord_add line 27
4. lemma OAI.HarmonicArtin.rowReflectWord_zero line 36
5. lemma OAI.HarmonicArtin.rowReflectWord_sum line 40
6. lemma OAI.HarmonicArtin.fusion_reverse_reflection_intertwining line 48
7. theorem OAI.HarmonicArtin.fusion_reverse_word_intertwining line 63
8. lemma OAI.HarmonicArtin.fusionFold_sub line 78
9. lemma OAI.HarmonicArtin.fusionFold_injective line 83