LyX 模块用于添加定理、引理等

Question

LyX 内置的数学环境，例如定义、证明和引理？

答案指的是哪个模块？如何将这样的模块上传到我的 LyX 软件？

编辑：无法单击“确定”：

第二次编辑：尽管此模块在描述中没有先决条件，但无法单击“确定”或“应用”：