Theorem IsConjRoot.exists_algEquiv

Modification history

2025-04-30 12:59

Mathlib/FieldTheory/Minpoly/IsConjRoot.lean

style: further whitespace fixes (#24467) …

Modified IsConjRoot.exists_algEquiv View on Github →

2024-10-26 13:22

Mathlib/FieldTheory/Minpoly/IsConjRoot.lean

feat(FieldTheory): define `IsConjRoot` and prove its basic properties (#17783) …

Added IsConjRoot.exists_algEquiv View on Github →