OAI/Algebra/GroupRing/HomotopyTracks.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TorsionFreeZeroDivisors.HomotopyTracks.mapped line 15
2. def OAI.TorsionFreeZeroDivisors.HomotopyTracks.track line 17
3. def OAI.TorsionFreeZeroDivisors.HomotopyTracks.run line 28
4. lemma OAI.TorsionFreeZeroDivisors.HomotopyTracks.run_base line 34
5. lemma OAI.TorsionFreeZeroDivisors.HomotopyTracks.trans_base line 38
6. lemma OAI.TorsionFreeZeroDivisors.HomotopyTracks.track_trans line 43