src/ZF/Constructible/MetaExists.thy
changeset 13513 b9e14471629c
parent 13505 52a16cb7fefb
child 13634 99a593b49b04