src/ZF/Trancl.thy
changeset 38980 af73cf0dc31f
parent 35762 af3ff2ba4c54
child 45602 2a858377c3d2