Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_alg_closed.cardinal_eq_cardinal_transcendence_basis_of_aleph_0_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) …
Added is_alg_closed.cardinal_eq_cardinal_transcendence_basis_of_aleph_0_ltView on Github →