OAI/Algebra/AuslanderReiten/Coordinates/TensorTailMap.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ArExplicit.T.tensorHighG_signed line 18
  2. def OAI.ArExplicit.T.productHighLift line 36
  3. theorem OAI.ArExplicit.T.productHighLift_comm line 39
  4. abbrev OAI.ArExplicit.T.productFourthSyzygy line 46
  5. def OAI.ArExplicit.T.productTailMap line 49
  6. abbrev OAI.ArExplicit.T.bimoduleTwistedTerm line 55
  7. def OAI.ArExplicit.T.bimoduleTwistedDifferential line 57
  8. def OAI.ArExplicit.T.bimoduleHighLift line 59
  9. theorem OAI.ArExplicit.T.bimoduleHighLift_comm line 63
  10. abbrev OAI.ArExplicit.T.fourthSyzygy line 70
  11. def OAI.ArExplicit.T.tailMap line 72
  12. theorem OAI.ArExplicit.T.tailMap_mk line 76