OAI/GroupTheory/SimpleAmenable/Simplicial/FirstBarStableH1.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MarkedH1.linearStable line 12
2. instance OAI.MarkedH1.linearStable_epi line 14
3. lemma OAI.MarkedH1.rowOne_d10 line 20
4. lemma OAI.MarkedH1.linearStable_d line 27
5. def OAI.MarkedH1.stableOneπ line 60
6. instance OAI.MarkedH1.stableOneπ_epi line 62
7. lemma OAI.MarkedH1.stableH1_finite line 67