Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-21 15:10
41ed4a5b
View on Github →
feat: port FieldTheory.Finite.Trace (
#5344
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/FieldTheory/Finite/Trace.lean
added
theorem
FiniteField.trace_to_zMod_nondegenerate