head of a list?

Stream: Is there code for X?

[Kevin Lacker]

Is there a method for "the head of a list"? Like to express the proposition, "the first element of the list L is 6."

[Kenny Lau]

list.head

[Kevin Lacker]

ehhh ok thanks. now i wonder why i couldn't find that

[Kevin Lacker]

i guess i was stumped because it is not near the definition of list. well, thanks!

[Jalex Stark]

There's a search bar on the mathlib_docs page. Maybe this works to take you there docs#list.head ?

[Gabriel Ebner]

Is there a method for "the head of a list"?

Surprisingly, also docs#the.head.of.a.list takes you to the right definition.