Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_alg_closed.exists_pow_nat_eq

Modification history

2021-10-14 07:51
src/field_theory/is_alg_closed/basic.lean
refactor(analysis/special_functions): generalise nth-root lemmas (#9704) …
Added is_alg_closed.exists_pow_nat_eqView on Github →