OAI/Algebra/GroupRing/DiskTracks.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TorsionFreeZeroDivisors.DiskTracks.square line 15
  2. lemma OAI.TorsionFreeZeroDivisors.DiskTracks.square_boundary line 19
  3. def OAI.TorsionFreeZeroDivisors.DiskTracks.physical line 50
  4. lemma OAI.TorsionFreeZeroDivisors.DiskTracks.square_physical line 78
  5. def OAI.TorsionFreeZeroDivisors.DiskTracks.shift line 83
  6. lemma OAI.TorsionFreeZeroDivisors.DiskTracks.continuous_shift line 85
  7. lemma OAI.TorsionFreeZeroDivisors.DiskTracks.shift_zero line 88
  8. lemma OAI.TorsionFreeZeroDivisors.DiskTracks.shift_one line 89
  9. lemma OAI.TorsionFreeZeroDivisors.DiskTracks.shift_zero_right line 90
  10. lemma OAI.TorsionFreeZeroDivisors.DiskTracks.shift_one_right line 91
  11. def OAI.TorsionFreeZeroDivisors.DiskTracks.tail line 92
  12. def OAI.TorsionFreeZeroDivisors.DiskTracks.contract line 97
  13. lemma OAI.TorsionFreeZeroDivisors.DiskTracks.contract_boundary line 104