src/HOL/Conditionally_Complete_Lattices.thy
changeset 61434 46d6586eb04c
parent 61169 4de9ff3ea29a
child 61824 dcbe9f756ae0