Mathlib Changelog v4

Changelog About Github

Theorem minpoly.ne_zero

Modification history

2023-05-22 18:33

Mathlib/FieldTheory/Minpoly/Basic.lean

feat: port FieldTheory.Minpoly.Basic (#4216)

Added minpoly.ne_zero View on Github →