Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-05-18 18:12
f01260a7
View on Github →
feat(algebra/char_p): eq_iff_modeq_int (
#2731
)
Estimated changes
Modified
src/algebra/char_p.lean
added
theorem
eq_iff_modeq_int