OAI/Geometry/TranslativeCovering/CubicLattice.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CubicLattice.basis line 105
2. lemma OAI.CubicLattice.basis_apply line 107
3. lemma OAI.CubicLattice.volume_domain line 110
4. lemma OAI.CubicLattice.period_mem line 123
5. lemma OAI.CubicLattice.covering line 134