List of available theorems

Stream: new members

[Patrick Johnson]

Is there a way in VS Code to get the list of available theorems in the autocomplete box? For example, I was searching for append_assoc from list, but it's not present in the autocomplete box, though It appears if I type append_as

Screenshot

[Kevin Buzzard]

Try the escape key and then ctrl-space again. This sometimes works. But I've never been able to figure this out. Sometimes stuff just doesn't get displayed and I don't know why.