OAI/Algebra/GroupRing/GraphLabels.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TorsionFreeZeroDivisors.GraphLabels.representative line 16
2. lemma OAI.TorsionFreeZeroDivisors.GraphLabels.representative_class line 19
3. def OAI.TorsionFreeZeroDivisors.GraphLabels.edgeMap line 21
4. lemma OAI.TorsionFreeZeroDivisors.GraphLabels.edgeMap_boundary line 24
5. def OAI.TorsionFreeZeroDivisors.GraphLabels.map line 30
6. lemma OAI.TorsionFreeZeroDivisors.GraphLabels.map_vertex line 33
7. lemma OAI.TorsionFreeZeroDivisors.GraphLabels.map_edge line 34
8. lemma OAI.TorsionFreeZeroDivisors.GraphLabels.edge_translate line 42
9. lemma OAI.TorsionFreeZeroDivisors.GraphLabels.response_generator line 55
10. lemma OAI.TorsionFreeZeroDivisors.GraphLabels.realizes line 74