mathlib3
refactor(data/list/min_max): use with_top for maximum and define argmax
#1320
Merged
Merged