src/HOL/Conditionally_Complete_Lattices.thy
changeset 66924 b4d4027f743b
parent 65466 b0f89998c2a1
child 67091 1393c2340eec