[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] LCM Theory



Is there an LCM counterpart to the ints@gcd? I notice LCM is defined
in ints@divides_lems, but there are no corresponding lemmas.

jerome