Theorem Field.nonempty_algHom_of_exists_root

Modification history

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