How to search for theorems?

[tooliltoolate]

I am going through Mathematics in Lean and it says I can search for theorems with Ctrl-space completion, but this is presumably for Vscode. What's the analogue for lean.nvim?

[Julian]

Hey! This will depend on which (auto)completion plugin you choose -- did you install nvim-cmp say, perhaps?

[tooliltoolate]

Yes, I did.

[Julian]

Great, then the mapping from the suggested configuration for nvim-cmp would usually also be Ctrl-space to trigger completeion if you followed that recommended setup.

[tooliltoolate]

Ah. Thank you!