Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-08 08:31 ffa6e6d6

View on Github →

feat(set_theory/cardinal): sum_le_sup_lift (#12513) This is a universe-polymorphic version of sum_le_sup.

Estimated changes