David Nadlinger wrote:
> On Sunday, 22 July 2012 at 03:06:28 UTC, Jens Mueller wrote:
> >Where is argmin defined? I couldn't find it.
> 
> On the slide before that… ;)

:)

Jens

Reply via email to