Theorem IsAlgClosure.of_exists_root

Modification history

2026-02-01 00:52
Mathlib/FieldTheory/Isaacs.lean
refactor: `exist_roots` → `exists_root` (#34657) …
Added IsAlgClosure.of_exists_rootView on Github →