@MISC{LATTICE8.MIZ,
  AUTHOR = {{\L}api\'nski, Mariusz},
  TITLE = {The {J}\'onsson {T}heorem about the Representation of Modular Lattices},
  SECTION1 = {Preliminaries},
  SECTION2 = {The J{\'o}nsson Theorem},
  DAY = {29},
  MONTH = {June},
  YEAR = {2000},
  ADDRESS1 = {University of Bia{\l}ystok},
  SUMMARY = {Formalization of \cite[pp. 192--199]{Gratzer},
              chapter IV. Partition Lattices, theorem 8.}}

