src/ZF/Constructible/Wellorderings.thy
changeset 73532 5fa2e2786ecf
parent 72797 402afc68f2f9
child 76213 e44d86131648