Mathlib Changelog v4

Changelog About Github

Theorem minpoly.monic

Modification history

2023-05-22 18:33

Mathlib/FieldTheory/Minpoly/Basic.lean

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

Added minpoly.monic View on Github →