OAI/GroupTheory/SimpleAmenable/CentralCovers/CentralRangeReflection.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.perfect_range_le_of_central_image line 16
2. def OAI.SimpleAmenable.assignmentPost line 55
3. theorem OAI.SimpleAmenable.assignmentPost_mask line 60
4. theorem OAI.SimpleAmenable.centralSector_supported line 66
5. theorem OAI.SimpleAmenable.centralSector_whole_eq line 91
6. theorem OAI.SimpleAmenable.centralSector_control line 101