src/ZF/Main_ZFC.thy
changeset 49566 66cbf8bb4693
parent 35762 af3ff2ba4c54