mathlib

b97bb92f - feat(set_theory/cardinal): lemmas (#9690)

feat(set_theory/cardinal): lemmas (#9690) * swap sides of `cardinal.lift_mk`, rename it to `cardinal.mk_ulift`; * add `cardinal.out_mk_equiv`. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>