src/HOL/ZF/Zet.thy
changeset 47988 e4b69e10b990
parent 45694 4a8743618257
child 49834 b27bbb021df1