Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-01-10 01:30
98c1c165
View on Github →
chore(Algebra/CharP/Defs): do not import
Field
(
#20566
)
Estimated changes
Modified
Mathlib/Algebra/CharP/Defs.lean
Modified
Mathlib/Algebra/CharP/Invertible.lean