OAI/GroupTheory/SimpleAmenable/Simplicial/EZNatural.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.EilenbergZilber.diagonalMap line 13
  2. def OAI.EilenbergZilber.twoMap line 16
  3. def OAI.EilenbergZilber.twoIsoN line 22
  4. def OAI.EilenbergZilber.equivN line 34
  5. lemma OAI.EilenbergZilber.diagonalIso_f line 39
  6. lemma OAI.EilenbergZilber.twoIso_f line 45
  7. lemma OAI.EilenbergZilber.diagonal_natural line 56
  8. lemma OAI.EilenbergZilber.two_natural line 65
  9. lemma OAI.EilenbergZilber.equiv_natural line 76
  10. def OAI.EilenbergZilber.homologyIsoN line 101
  11. lemma OAI.EilenbergZilber.homology_natural line 104