src/ZF/Constructible/Rank.thy
changeset 38980 af73cf0dc31f
parent 32960 69916a850301
child 46823 57bf0cecb366