OAI/GroupTheory/SimpleAmenable/PolygonGeometry/AlignedFiniteTables.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.finite_table_lift_in_subgroup_eventually line 16
2. theorem OAI.SimpleAmenable.sourceAlignedGroup_map_full line 42
3. theorem OAI.SimpleAmenable.sourceAlignedGroup_transition line 59
4. theorem OAI.SimpleAmenable.fiveTrack_conditional_preimage_aligned line 69