OAI/GroupTheory/SimpleAmenable/Homology/ReducedTensorFinite.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TensorProductHomology.finite_reduced line 11
2. lemma OAI.ConstantSplit.red_finite line 43
3. lemma OAI.ConstantSplit.red_homology_zero line 57
4. lemma OAI.ChainTensor.homology_joint_kernel' line 64
5. def OAI.ConnectedProduct.redProjection line 86
6. lemma OAI.ConnectedProduct.projection_joint_zero line 91
7. lemma OAI.ConnectedProduct.finite_projection_kernel line 130