Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_alg_closed.cardinal_eq_cardinal_transcendence_basis_of_omega_lt

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) …
Deleted is_alg_closed.cardinal_eq_cardinal_transcendence_basis_of_omega_ltView 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 is_alg_closed.cardinal_eq_cardinal_transcendence_basis_of_omega_ltView on Github →