src/HOL/ZF/Zet.thy
changeset 62337 d3996d5873dd
parent 56154 f0a927235162
child 67613 ce654b0e6d69