OAI/GroupTheory/SimpleAmenable/Homology/CoefficientUCT.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TensorCoefficient.presentation line 17
2. lemma OAI.TensorCoefficient.finite_coefficient_succ line 45
3. lemma OAI.TensorCoefficient.finite_coefficient_zero line 56
4. lemma OAI.TensorCoefficient.zero_coefficient_succ line 69
5. lemma OAI.TensorCoefficient.zero_coefficient_zero line 79
6. abbrev OAI.TensorProductHomology.c line 101
7. def OAI.TensorProductHomology.bicomplex line 103
8. def OAI.TensorProductHomology.rowIso line 106
9. lemma OAI.TensorProductHomology.finite line 118
10. lemma OAI.TensorProductHomology.isZero line 134