[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Integer division and modulus/remainder in Mizar

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Integer division and modulus/remainder in Mizar
From: trybulec <trybulec@math.uwb.edu.pl>
Date: Thu, 14 Aug 2008 18:03:48 +0200

John Harrison wrote:

 E-definition: 0 <= i mod j < |j|


So, 0 <= i mod 0 < |0| ?

Regards,
Andrzej

Follow-Ups:
- Re: [mizar] Integer division and modulus/remainder in Mizar
  - From: John Harrison <John.Harrison@cl.cam.ac.uk>

References:
- Re: [mizar] Integer division and modulus/remainder in Mizar
  - From: John Harrison <John.Harrison@cl.cam.ac.uk>

Prev by Date: Re: [mizar] Integer division
Next by Date: Re: [mizar] Integer division
Index(es):
- Chronological
- Thread