OAI/Algebra/GroupRing/AbsorbCells.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TorsionFreeZeroDivisors.AbsorbCells.graphHomotopy line 20
2. def OAI.TorsionFreeZeroDivisors.AbsorbCells.diskHomotopy line 22
3. lemma OAI.TorsionFreeZeroDivisors.AbsorbCells.diskHomotopy_boundary line 27
4. def OAI.TorsionFreeZeroDivisors.AbsorbCells.graphPaths line 39
5. def OAI.TorsionFreeZeroDivisors.AbsorbCells.cellPaths line 41
6. lemma OAI.TorsionFreeZeroDivisors.AbsorbCells.paths_boundary line 43
7. def OAI.TorsionFreeZeroDivisors.AbsorbCells.paths line 47
8. lemma OAI.TorsionFreeZeroDivisors.AbsorbCells.paths_zero line 50
9. lemma OAI.TorsionFreeZeroDivisors.AbsorbCells.paths_one line 58
10. def OAI.TorsionFreeZeroDivisors.AbsorbCells.homotopy line 62