Mathlib v3 is deprecated. Go to Mathlib v4

Def is_alg_closed.equiv_of_transcendence_basis

Modification history

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.equiv_of_transcendence_basisView on Github →