mathlib

0add8768 - chore(set_theory/cardinal/basic): remove unused universe + fix spacing (#14606)