src/ZF/upair.thy
changeset 67131 85d10959c2e4
parent 65449 c82e63b11b8b
child 68233 5e0e9376b2b0