Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-03-02 04:09
a9902d54
View on Github →
feat(algebra/divisibility): generalise basic facts to semigroups (
#12325
)
Estimated changes
Modified
src/algebra/divisibility.lean
Modified
src/algebra/gcd_monoid/basic.lean
modified
theorem
dvd_lcm_left
modified
theorem
dvd_lcm_right
Modified
src/number_theory/padics/ring_homs.lean