OAI/GroupTheory/SimpleAmenable/Simplicial/IteratedBarMaps.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.IntervalBar.Diagram.simplicialMap_map_reindex line 12
2. lemma OAI.IntervalBar.Diagram.barMap_map_reindex line 17
3. def OAI.IntervalBar.Diagram.rows₂Map line 23
4. def OAI.IntervalBar.Diagram.bar₂Map line 26
5. lemma OAI.IntervalBar.Diagram.bar₂Map_homology_isIso line 28
6. lemma OAI.IntervalBar.Diagram.map_map_reindex_id line 33