src/ZF/Zorn.thy
changeset 1287 84f44b84d584
parent 1155 928a16e02f9f
child 1401 0c439768f45c