Theorem IsConjRoot.trans

Modification history

2025-04-30 12:59
Mathlib/FieldTheory/Minpoly/IsConjRoot.lean
chore: more whitespace fixes (#24472) …
Modified IsConjRoot.transView on Github →
2024-10-26 13:22
Mathlib/FieldTheory/Minpoly/IsConjRoot.lean
feat(FieldTheory): define `IsConjRoot` and prove its basic properties (#17783) …
Added IsConjRoot.transView on Github →