Re: [Numpy-discussion] index of a value in an array