src/ZF/Constructible/Reflection.thy
changeset 66787 64b47495676d
parent 61980 6b780867d426
child 67443 3abf6a722518