# Commit 2022-06-05 07:36 b6395b3a

View on Github →refactor(set_theory/*): change `omega`

to `aleph_0`

+ golf (#14467)
This PR does two things:

- we change
`cardinal.omega`

to`cardinal.aleph_0`

and introduce the notation`ℵ₀`

. - we golf many proofs throughout