Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-17 18:37 5eefae27

View on Github →

chore(set_theory/ordinal): shorten proofs (#2005)

Estimated changes