Commit 2021-10-13 17:58 5db83f9c
View on Github →feat(set_theory/cardinal): add lemmas (#9697) We add three easy lemmas about cardinals living in different universes.
feat(set_theory/cardinal): add lemmas (#9697) We add three easy lemmas about cardinals living in different universes.