mick62
Results
1
comments of
mick62
Of course the post conditionpost r*r = x could be interpreted in the sense of a mathematical limit ("limes").lim[t -> infinity] r*r -> x i.e. for every desired value eps...