OAI/Geometry/PeriodicTiling/SeedSymbols.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PeriodicTilingThree.seedSymbol line 10
2. theorem OAI.PeriodicTilingThree.seedSymbol_coe line 15
3. theorem OAI.PeriodicTilingThree.seedSymbol_injective line 29
4. theorem OAI.PeriodicTilingThree.seedSymbol_eq_iff line 42
5. theorem OAI.PeriodicTilingThree.seedSymbol_ne line 46
6. theorem OAI.PeriodicTilingThree.seedSymbol_zero line 50
7. theorem OAI.PeriodicTilingThree.seedSymbol_one_coe line 53
8. theorem OAI.PeriodicTilingThree.seedSymbol_zero_ne_one line 57