Claim 4.1.1 . [027T]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Claim 4.1.1.
There are a positive integer and a finitely generated lattice of such that