src/ZF/QPair.thy
changeset 10548 e8c774c12105
parent 6093 87bf8c03b169
child 13220 62c899c77151