Theorem IsAlgClosed.exists_eq_mul_self

Modification history