Commit 2023-06-21 13:11 aa4f7c81

View on Github →

forward port leanprover-community/mathlib#19197 (#5284)

Estimated changes

Modified Mathlib/Data/ZMod/Algebra.lean

added def ZMod.algebra

Modified Mathlib/FieldTheory/IsAlgClosed/Classification.lean

Modified Mathlib/RingTheory/Polynomial/Cyclotomic/Expand.lean