src/HOL/Library/Zorn.thy
changeset 44913 48240fb48980
parent 44890 22f665a2e91c
child 46008 c296c75f4cf4