WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Cardinality

Revision #2912 → #3398 · back to history

addedCardinality of ℕ is ℵ₀4952332e3b7d

addedZermelo–Fraenkel set theory248362e3fb7e

addedCartesian product4f5bffaec917

addedDisjoint union918fda9d1a2c

addedRegular cardinalcc03535aee0b