WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Set theory

Revision #1560 → #1794 · back to history

addedCantor's diagonal argumentd5486807d68a
addedAleph numbers7e8502fef94c
addedOmega ordinal49aac613ffec
addedEquivalence relationeb2620e8acac
addedPartition of a set8415d160db6a
addedAxiom of choice68c1c16cdc0b
modifiedEmpty set860cf7c4de54
FieldFrom #1560To #1794
mathlib.declSet.instEmptyCollectionSetSet.instEmptyCollection
addedBorel setseebd67a1048b
addedNatural numbers98bc70d0a609
addedIntegers20a6641682c9
addedReal numbers2804dbc93eb8