Theorem IsAlgClosed.exists_eval₂_eq_zero_of_injective
Modification history
2025-04-09 03:56
Mathlib/FieldTheory/IsAlgClosed/Basic.lean
feat: generalize Mathlib.FieldTheory (#23191) …
Modified IsAlgClosed.exists_eval₂_eq_zero_of_injectiveView on Github →