Theorem Int.gcd_left_comm

Modification history

2026-01-26 23:03
Mathlib/Data/Int/Init.lean
chore: bump toolchain to v4.28.0-rc1 (#34436) …
Deleted Int.gcd_left_commView on Github →
2025-12-24 13:09
Mathlib/Data/Int/Init.lean
feat: Int.gcd_left_comm (#33235) …
Added Int.gcd_left_commView on Github →