OAI/GroupTheory/SimpleAmenable/Simplicial/TripleReindex.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.IntervalBar.Diagram.diagonalReindex line 15
2. abbrev OAI.IntervalBar.Diagram.map₃ line 18
3. lemma OAI.IntervalBar.Diagram.map₃_diagonalReindex line 20
4. lemma OAI.IntervalBar.Diagram.bar₃_map line 31
5. def OAI.IntervalBar.Diagram.natTrans₃ line 36
6. lemma OAI.IntervalBar.Diagram.natTrans₃_reindex line 38
7. def OAI.IntervalBar.Diagram.tripleNatTrans line 65
8. def OAI.IntervalBar.Diagram.homotopyMap₃ line 70
9. def OAI.IntervalBar.Diagram.bar₃Homotopy line 95
10. lemma OAI.IntervalBar.Diagram.bar₃Map_eq_of_monoidalNatTrans line 105