This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Commit 4341fff

committed

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

1 parent 8174bd0 commit 4341fffCopy full SHA for 4341fff

1 file changed

+73

-73

lines changed

+73

-73

lines changed

Comments

(0)