Math environments such as Definitions, Proofs and Lemmas in LyX builtin?
What module was the answer referring to? How do I upload such a module to my LyX software?
Edit: Unable to click "OK":
Second edit: Unable to click on "OK" nor "Apply" despite this module having no prereqs in the description:

