Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-10 22:46 a7995c96

View on Github →

fix(set_theory/cofinality): fix type of omega_is_regular

Estimated changes

modified theorem cardinal.omega_is_regular