WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Transcendental number

Revision #2956 → #3446 · back to history

modifiedAlgebraic number (rational vs integer coefficients equivalence)45ebd4e89291
FieldFrom #2956To #3446
noteThe equivalence between algebraicity over ℤ and over ℚ follows from `isAlgebraic_iff_isIntegral` (Mathlib.RingTheory.Algebraic.Integral) and clearing denominators; Mathlib's `IsAlgebraic` handles this uniformly.The equivalence between algebraicity over ℤ and over ℚ follows from `isAlgebraic_iff_isIntegral` and clearing denominators; Mathlib's `IsAlgebraic` handles this uniformly.