src/ZF/Constructible/Relative.thy
changeset 29223 e09c53289830
parent 22710 f44439cdce77
child 32960 69916a850301