OAI/GroupTheory/SimpleAmenable/CentralCovers/FiniteCentralKernel.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.subgroup_fg_map line 18
2. theorem OAI.SimpleAmenable.group_fg_of_kernel_quotient line 23
3. theorem OAI.SimpleAmenable.subgroup_fg_of_comm line 48
4. theorem OAI.SimpleAmenable.perfect_lift_range line 55
5. theorem OAI.SimpleAmenable.central_kernel_fg_of_universal line 93
6. theorem OAI.SimpleAmenable.finitelyPresented_of_central_cover line 138