OAI/Geometry/TranslativeCovering/DistinctCosets.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TranslativeCovering.PeriodicCover.coset line 113
2. def OAI.TranslativeCovering.PeriodicCover.Distinct line 116
3. def OAI.TranslativeCovering.thetaPer line 119
4. lemma OAI.TranslativeCovering.PeriodicCover.remove_repeats line 122
5. lemma OAI.TranslativeCovering.listed_eq_distinct line 159
6. theorem OAI.TranslativeCovering.periodization_exact line 170