Tagged: lattice isomorphism theorem