Theorem PowerBasis.degree_minpoly

Modification history

2024-05-31 00:19

Mathlib/RingTheory/PowerBasis.lean

chore: fix formatting of many misplaced "by"s (#13204)

Modified PowerBasis.degree_minpoly View on Github →

2023-05-23 07:30

Mathlib/RingTheory/PowerBasis.lean

feat: port RingTheory.PowerBasis (#4238)

Added PowerBasis.degree_minpoly View on Github →