Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-16 01:12 ec68c7e4

View on Github →

feat(set_theory/cardinal): lift_sup (#8675)

Estimated changes

Modified src/set_theory/cardinal.lean

added theorem cardinal.lift_sup

added theorem cardinal.lift_sup_le

added theorem cardinal.lift_sup_le_iff

added theorem cardinal.lift_sup_le_lift_sup