src/HOL/Lattice/CompleteLattice.thy
changeset 47988 e4b69e10b990
parent 35317 d57da4abb47d
child 56154 f0a927235162