use boost min_element instead
use boost min_element instead

Reviewed By: agampe

Differential Revision: D21030510

fbshipit-source-id: 9cdd80d18d44386a2e6e3bd5b8eeb4048471f3fa

facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex,facebook/redex