Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-11-04 14:10
f749197b
View on Github →
chore(algebra/group_power/basic): reduce imports (
#17334
)
after.pdf
before.pdf
Estimated changes
Modified
src/algebra/divisibility.lean
added
theorem
pow_dvd_pow_of_dvd
Modified
src/algebra/group_power/basic.lean
deleted
theorem
pow_dvd_pow_of_dvd
Modified
src/algebra/hom/group_instances.lean