Re: min or argmin by Zhen Wei - Saturday, 25 June 2022, 11:49 Number of replies: 0 Yes, you are right. Permalink Show parent Reply
