mathlib
5db83f9c - feat(set_theory/cardinal): add lemmas (#9697)

Commit

4 years ago

feat(set_theory/cardinal): add lemmas (#9697) We add three easy lemmas about cardinals living in different universes.

Author

riccardobrasca

Parents