src/ZF/subset.thy
changeset 3362 0b268cff9344
parent 2469 b50b8c0eec01
child 9570 e16e168984e1