mathlib

7b2970fa - feat(set_theory/cardinal/basic): improve docs on `lift`, add `simp` lemmas (#14596)

feat(set_theory/cardinal/basic): improve docs on `lift`, add `simp` lemmas (#14596) We add some much needed documentation to the `cardinal.lift` API. We also mark a few extra lemmas with `simp`.