Commit 2024-03-19 14:21 e2f74f2c

feat: Add Zlattice.basis (#11323) For a ℤ-lattice L of E, defined as a discrete subgroup that spans the whole space E over K, proves that any ℤ-basis of L is also a K-basis of E. This provides the link between the two points of view on lattices in this file.