Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-04 16:45 06c3ab2b

View on Github →

feat(ring_theory/discriminant): add of_power_basis_eq_norm (#11149) From flt-regular.

Estimated changes