OAI/Geometry/PeriodicTiling/CyclicTypes.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PeriodicTilingThree.D line 7
2. abbrev OAI.PeriodicTilingThree.Residues line 8
3. abbrev OAI.PeriodicTilingThree.K line 12
4. abbrev OAI.PeriodicTilingThree.P line 13
5. abbrev OAI.PeriodicTilingThree.Input line 14
6. abbrev OAI.PeriodicTilingThree.Useful line 15
7. abbrev OAI.PeriodicTilingThree.V line 17
8. abbrev OAI.PeriodicTilingThree.Ambient line 20
9. abbrev OAI.PeriodicTilingThree.Base line 21
10. abbrev OAI.PeriodicTilingThree.Low line 23
11. abbrev OAI.PeriodicTilingThree.G line 24
12. structure OAI.PeriodicTilingThree.GraphOutputs line 26
13. abbrev OAI.PeriodicTilingThree.Outputs line 31