Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-08 12:10 0add8768

View on Github →

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

Estimated changes

modified theorem cardinal.mk_subtype_mono