mathlib
bcb29439 - chore(set_theory/cardinal): move defs/lemmas about `lift` up (#9669)

Commit

4 years ago

chore(set_theory/cardinal): move defs/lemmas about `lift` up (#9669)

Author

urkud

urkud

Parents

Loading