OAI/Geometry/TranslativeCovering/PeriodicEquality.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PeriodicEquality.Space line 113
2. lemma OAI.PeriodicEquality.volume_cube line 115
3. def OAI.PeriodicEquality.centers line 125
4. lemma OAI.PeriodicEquality.locallyFinite line 128
5. lemma OAI.PeriodicEquality.count_le_field line 136
6. lemma OAI.PeriodicEquality.cubic_le_periodic_window line 171
7. lemma OAI.PeriodicEquality.cubic_le_periodic line 205