Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_alg_closed.exists_eq_mul_self

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_eq_mul_selfView on Github →