src/ZF/subset.thy
changeset 11963 a6608d44a46b
parent 9570 e16e168984e1
equal deleted inserted replaced
11962:4c6585866fb2 11963:a6608d44a46b