Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-10-05 06:34
e080fe90
View on Github →
feat: support
zify
on divisibility propositions (
#7489
)
Estimated changes
Modified
Mathlib/Tactic/Zify.lean
added
theorem
Mathlib.Tactic.Zify.nat_cast_dvd
Modified
test/Zify.lean