src/ZF/Sum.thy
changeset 65895 744878d72021
parent 60770 240563fbf41d
child 69587 53982d5ec0bb