OAI/Algebra/AuslanderReiten/Cocycles/TwistedBoundaryFormula.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ArExplicit.CocycleData.evalPair line 13
  2. theorem OAI.ArExplicit.CocycleData.list_sum_flatMap line 17

    Also declared: OAI/Algebra/AuslanderReiten/Cocycles/CocycleFormula.lean:37 (same declaration text).

  3. theorem OAI.ArExplicit.CocycleData.list_sum_map_add line 24

    Also declared: OAI/Algebra/AuslanderReiten/Cocycles/CocycleFormula.lean:30 (same declaration text).

  4. theorem OAI.ArExplicit.CocycleData.list_right_mul line 31

    Also declared: OAI/Algebra/AuslanderReiten/Cocycles/CocycleFormula.lean:68 (same declaration text).

  5. theorem OAI.ArExplicit.CocycleData.sum_list_comm line 37
  6. theorem OAI.ArExplicit.CocycleData.row_twisted_contraction line 44
  7. theorem OAI.ArExplicit.CocycleData.twisted_contraction_formula line 64
  8. theorem OAI.ArExplicit.CocycleData.selected_eq line 73
  9. theorem OAI.ArExplicit.CocycleData.mul_inverse_weight line 77
  10. theorem OAI.ArExplicit.CocycleData.twisted_boundary_formula line 82