lattice theorem

  1. REDIRECT Correspondence theorem

{{R from move}}