Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebra.is_algebraic.cardinal_mk_le_max

Modification history

2022-06-05 07:36
src/field_theory/is_alg_closed/classification.lean
refactor(set_theory/*): change `omega` to `aleph_0` + golf (#14467) …
Modified algebra.is_algebraic.cardinal_mk_le_maxView on Github →
2022-02-03 11:20
src/field_theory/is_alg_closed/classification.lean
feat(field_theory/is_alg_closed/classification): Classify algebraically closed fields (#9370) …
Added algebra.is_algebraic.cardinal_mk_le_maxView on Github →