Theorem IsAlgClosed.exists_eval₂_eq_zero_of_injective

Modification history