OAI/GroupTheory/SimpleAmenable/Simplicial/BarBinaryBoundary.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.IntervalBar.Diagram.binaryMap line 14
2. lemma OAI.IntervalBar.Diagram.binaryMap_fst line 18
3. lemma OAI.IntervalBar.Diagram.binaryMap_snd line 21
4. lemma OAI.IntervalBar.Diagram.binaryMap_mult line 24
5. lemma OAI.IntervalBar.Diagram.binaryMap_middle line 26
6. lemma OAI.IntervalBar.Diagram.defect_rearrange line 32
7. lemma OAI.IntervalBar.Diagram.d21_binaryD line 34
8. lemma OAI.SimpleAmenable.PolygonTracks.stableH2_finite_of_bar line 61
9. lemma OAI.SimpleAmenable.PolygonTracks.fullH2_finite_of_bar line 75