Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-08 21:42 709a3b70

View on Github →

feat(set_theory/cardinal_ordinal): #(list α) ≤ max ω (#α) (#12519)

Estimated changes