Skip to content

Commit

Permalink
chore(set_theory/cardinal_ordinal): use notation ω (#10197)
Browse files Browse the repository at this point in the history
  • Loading branch information
@urkud
urkud committed Nov 6, 2021
1 parent 8174bd0 commit 4341fff
Showing 1 changed file with 73 additions and 73 deletions.

0 comments on commit 4341fff

Please sign in to comment.