OAI/GroupTheory/SimpleAmenable/Homology/ComponentStable.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ComponentStable.H line 12
2. abbrev OAI.ComponentStable.object line 13
3. def OAI.ComponentStable.inclusion line 14
4. def OAI.ComponentStable.unionCocone line 17
5. def OAI.ComponentStable.toStable line 21
6. lemma OAI.ComponentStable.inclusion_toStable line 24
7. instance OAI.ComponentStable.epi_toStable line 27
8. lemma OAI.ComponentStable.translate_toStable line 38
9. lemma OAI.ComponentStable.map_comp line 46
10. lemma OAI.ComponentStable.map_const line 53