OAI/Geometry/PeriodicTiling/WordAffineCount.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PeriodicTilingThree.wordExceptionalCells line 16
2. theorem OAI.PeriodicTilingThree.card_wordExceptionalCells_le line 21
3. theorem OAI.PeriodicTilingThree.mem_wordExceptionalCells line 50
4. def OAI.PeriodicTilingThree.wordBlockedOrigins line 67
5. theorem OAI.PeriodicTilingThree.card_wordBlockedOrigins_le line 72
6. theorem OAI.PeriodicTilingThree.mem_wordBlockedOrigins line 81
7. theorem OAI.PeriodicTilingThree.four_square_count_inequality line 91
8. theorem OAI.PeriodicTilingThree.exists_clean_four_square line 107