Mathlib Changelog v4

Changelog About Github

Theorem minpoly.aeval

Modification history

2023-05-22 18:33

Mathlib/FieldTheory/Minpoly/Basic.lean

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

Added minpoly.aeval View on Github →