Theorem Int.lcm_dvd

Modification history

2025-04-27 19:30

Mathlib/Data/Int/GCD.lean

chore: prepare for the next lean version bump (#24417) …

Deleted Int.lcm_dvd View on Github →

2022-12-21 12:42

Mathlib/Data/Int/Gcd.lean

feat port Data.Int.Gcd (#981) …

Added Int.lcm_dvd View on Github →