src/ZF/Constructible/Relative.thy
changeset 67131 85d10959c2e4
parent 65449 c82e63b11b8b
child 67443 3abf6a722518