OAI/Algebra/GroupRing/WordResponse.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TorsionFreeZeroDivisors.WordResponse.basedClass line 16
2. lemma OAI.TorsionFreeZeroDivisors.WordResponse.basedClass_equal line 19
3. lemma OAI.TorsionFreeZeroDivisors.WordResponse.basedClass_trans line 25
4. lemma OAI.TorsionFreeZeroDivisors.WordResponse.basedClass_map line 32
5. lemma OAI.TorsionFreeZeroDivisors.WordResponse.source_eq line 43
6. lemma OAI.TorsionFreeZeroDivisors.WordResponse.target_eq line 45
7. def OAI.TorsionFreeZeroDivisors.WordResponse.response line 47
8. lemma OAI.TorsionFreeZeroDivisors.WordResponse.response_mul line 53
9. lemma OAI.TorsionFreeZeroDivisors.WordResponse.response_one line 85
10. lemma OAI.TorsionFreeZeroDivisors.WordResponse.response_inv line 88
11. def OAI.TorsionFreeZeroDivisors.WordResponse.edges line 94
12. lemma OAI.TorsionFreeZeroDivisors.WordResponse.edges_fox line 96