Mathlib Changelog v4

Changelog About Github

Theorem minpoly.eq_zero

Modification history

2023-05-22 18:33

Mathlib/FieldTheory/Minpoly/Basic.lean

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

Added minpoly.eq_zero View on Github →