src/ZF/Finite.thy
changeset 38980 af73cf0dc31f
parent 32960 69916a850301
child 45602 2a858377c3d2