src/HOL/Conditionally_Complete_Lattices.thy
changeset 52435 6646bb548c6b
parent 52265 bb907eba5902
child 53215 5e47c31c6f7c