src/HOL/Complete_Lattices.thy
changeset 47255 30a1692557b0
parent 46884 154dc6ec0041
child 49905 a81f95693c68