OAI/GroupTheory/SimpleAmenable/Homology/BiResolution.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BiResolution.row line 12
  2. def OAI.BiResolution.rowMap line 20
  3. def OAI.BiResolution.chains line 27
  4. def OAI.BiResolution.complex line 42
  5. def OAI.BiResolution.total line 45
  6. instance OAI.BiResolution.projective line 47
  7. def OAI.BiResolution.rowAt line 53
  8. def OAI.BiResolution.chainsAt line 56
  9. def OAI.BiResolution.point line 59
  10. lemma OAI.BiResolution.chainsAt_obj_map line 65
  11. lemma OAI.BiResolution.chainsAt_map_app line 68
  12. def OAI.BiResolution.augmentation line 71
  13. def OAI.BiResolution.augmentedAt line 89
  14. def OAI.BiResolution.section_ line 93
  15. def OAI.BiResolution.shift_ line 104
  16. def OAI.BiResolution.extra line 114