Finding a function from Library

Question

I want to use function which finds maximum value of the list(list_max_le). Plz help me in finding the Coq script against this function.Might be I am using old version of Coq