mathlib

49342e3d - feat(set_theory/cardinal/basic): Add `simp` lemmas on `cardinal.sum` (#13838)