Document the kind of indices returned by `findmin`/`findmax`/`argmin`/`argmax`#46705

Merged

giordano merged 3 commits intomasterfrom nl/find

Oct 31, 2023

+19-3

Commits on Sep 11, 2022

Document the kind of indices returned by findmin/findmax/argmin/argmax
nalimilan
authored

Commits on Oct 30, 2023