Library prosa.util.lcmseq
A function to calculate the least common multiple
of all integers in a sequence
xs, denoted by
lcml xs
Any integer
a that is contained in the sequence
xs divides
lcml xs.
Also,
lcml xs1 divides
lcml xs2 if
xs2 contains one extra element as compared to
xs1.
All integers in a sequence
xs divide
lcml xs.