OAI/GroupTheory/SimpleAmenable/PolygonGeometry/FlagSiteCounts.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.flagSite_key_injective line 16
2. def OAI.SimpleAmenable.flagSiteBox line 26
3. theorem OAI.SimpleAmenable.flagSiteNumerator_box line 29
4. theorem OAI.SimpleAmenable.flagSiteBox_finite line 52
5. theorem OAI.SimpleAmenable.flagSiteBox_card_bound line 62
6. def OAI.SimpleAmenable.flagWindow line 94
7. theorem OAI.SimpleAmenable.flagWindow_numerators line 99
8. theorem OAI.SimpleAmenable.flagWindow_card_bound line 119