src/ZF/Sum.thy
changeset 78981 47f8533c6887
parent 76216 9fc34f76b4e8
equal deleted inserted replaced
78980:a80ee3c97aae 78981:47f8533c6887