OAI/GroupTheory/SimpleAmenable/CentralCovers/FormalStarTables.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.star_small_range_eq line 18
2. structure OAI.SimpleAmenable.FormalStarTable line 36
3. theorem OAI.SimpleAmenable.formalStarTable_of_small line 47
4. def OAI.SimpleAmenable.FormalStarTable.sector line 90
5. theorem OAI.SimpleAmenable.FormalStarTable.sector_input line 93
6. theorem OAI.SimpleAmenable.FormalStarTable.sector_mem line 105
7. theorem OAI.SimpleAmenable.FormalStarTable.sector_union line 110
8. theorem OAI.SimpleAmenable.FormalStarTable.sector_commute line 116
9. theorem OAI.SimpleAmenable.FormalStarTable.sector_control line 119
10. theorem OAI.SimpleAmenable.FormalStarTable.sector_supported line 125