Re: optional arguments for theorems?

[José Matos]

On Thursday 12 October 2006 19:27, Martin Vermeer wrote:
> I think this is a formally correct solution.

  That is fair with me.

> - Martin

-- 
José Abílio