Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_alg_closed.exists_aeval_eq_zero

Modification history

2021-09-16 10:37

src/field_theory/algebraic_closure.lean

feat(field_theory/algebraic_closure): map from algebraic extensions into the algebraic closure (#9110)

Added is_alg_closed.exists_aeval_eq_zero View on Github →