Commit 2019-08-19 19:01 9eefd40e
View on Github →refactor(data/list/min_max): use with_top for maximum and define argmax (#1320)
- refactor(data/list/min_max): use option for maximum and define argmax
- prove minimum_singleton
- fix build
- use with_bot for maximum
- update comments