Re: [isabelle] Set Comprehention {5n. nâN} without existence-quantor?



Thanx! 

    Lars Hupel <hupel at in.tum.de> schrieb am 13:12 Montag, 6.Juni 2016:
 

 Hi Jonathan,

> is there any alternative way of writing {5n.nâN} other than {k. \ex 
> n. k = 5n}..such as using with "forAll" operator or so (thus avoiding
> the existence-quantor?)

try this:

 {5 * n | n. n â â}

Cheers
Lars







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.