OAI/GroupTheory/SimpleAmenable/Main.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SimpleAmenable.polygon_triple_homology_finite line 78
2. lemma OAI.SimpleAmenable.polygon_bar_homology_finite line 84
3. lemma OAI.SimpleAmenable.polygon_full_low_homology_finite line 88
4. lemma OAI.SimpleAmenable.polygon_alternating_H2_finite line 97
5. theorem OAI.SimpleAmenable.main line 102

   Distinct definitions of this name: ComparatorChallenges/SimpleAmenable.lean:15 (same statement text; different proof or body). Qualify references as OAI.SimpleAmenable.main@path.