src/HOL/ZF/Zet.thy
changeset 51085 d90218288d51
parent 49834 b27bbb021df1
child 56154 f0a927235162