Mathlib Changelog v4

Changelog About Github

Theorem minpoly.min

Modification history

2023-05-22 18:33

Mathlib/FieldTheory/Minpoly/Basic.lean

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

Added minpoly.min View on Github →