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

[PVS-Help] LCM Theory

To: PVS Help <pvs-help@xxxxxxxxxxx>
Subject: [PVS-Help] LCM Theory
From: Jerome <jerome@xxxxxxxxxxxxxx>
Date: Sun, 31 Aug 2008 19:56:04 -0700
List-help: <mailto:pvs-help-request@csl.sri.com?subject=help>
List-id: PVS-Help <pvs-help.csl.sri.com>
List-post: <mailto:pvs-help@csl.sri.com>
List-subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>, <mailto:pvs-help-request@csl.sri.com?subject=subscribe>
List-unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>, <mailto:pvs-help-request@csl.sri.com?subject=unsubscribe>
Sender: pvs-help-bounces+archive=csl.sri.com@xxxxxxxxxxx
User-agent: Mutt/1.5.9i

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

Prev by Date: Re: [PVS-Help] GCD divides
Next by Date: [PVS-Help] On Individual formula proof in a batch mode
Previous by thread: [PVS-Help] GCD divides
Next by thread: [PVS-Help] On Individual formula proof in a batch mode
Index(es):
- Date
- Thread