mathlib3
4341fff2 - chore(set_theory/cardinal_ordinal): use notation ω (#10197)

Commit

4 years ago

chore(set_theory/cardinal_ordinal): use notation ω (#10197)

Author

urkud

urkud

Parents

Loading