Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-12-24 13:09
aed28ae0
View on Github →
feat: Int.gcd_left_comm (
#33235
) From flt-regular
Estimated changes
Modified
Mathlib/Data/Int/Init.lean
added
theorem
Int.gcd_left_comm