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

Iterated Unequalities (fwd)

To: mizar-forum@mizar.uw.bialystok.pl
Subject: Iterated Unequalities (fwd)
From: Czeslaw Bylinski <bylinski@math.uw.bialystok.pl>
Date: Thu, 4 Jun 1998 10:50:38 +0200 (MET DST)

---------- Forwarded message ----------
Date: Thu, 04 Jun 1998 11:41:21 +0200
From: Christoph Schwarzweller <schwarzw@informatik.uni-tuebingen.de>
To: Mizar-Forum <mizar-forum@mizar.uw.bialystok.pl>
Subject: Iterated Unequalities

Hi,

in Mizar it is possible to build iterated equations (a = b .= c ...).
I think it would be nice to have also something like a < b .< c ...
Did anyone have thought about this so far?

Christoph Schwarzweller

Follow-Ups:
- Re: Iterated Unequalities (fwd)
  - From: Andrzej Trybulec <trybulec@math.uw.bialystok.pl>

Next by Date: Re: Iterated Unequalities (fwd)
Index(es):
- Chronological
- Thread