def Finset.lcmInterval {α : Type u_1} [AddMonoid α] [CancelCommMonoidWithZero α] [NormalizedGCDMonoid α] [Preorder α] [LocallyFiniteOrder α] (n k : α) : α

The least common multiple of ${n+1, \dotsc, n+k}$.

Equations

• Finset.lcmInterval n k = (Finset.Ioc n (n + k)).lcm id