src/ZF/Univ.thy
changeset 69232 2b913054a9cf
parent 61798 27f3c10b0b50
child 69593 3dda49e08b9d
equal deleted inserted replaced
69231:6b90ace5e5eb 69232:2b913054a9cf