OAI/Algebra/GroupRing/DiskHomotopy.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TorsionFreeZeroDivisors.DiskTracks.squareHomotopy line 15
2. lemma OAI.TorsionFreeZeroDivisors.DiskTracks.squareHomotopy_boundary line 26
3. def OAI.TorsionFreeZeroDivisors.DiskTracks.extension line 29
4. lemma OAI.TorsionFreeZeroDivisors.DiskTracks.extension_boundary line 34
5. lemma OAI.TorsionFreeZeroDivisors.HomotopyTracks.natural_cast line 51
6. lemma OAI.TorsionFreeZeroDivisors.HomotopyTracks.track_boundary line 55