LyX について質問があります。たとえば Proof を使用する場合、何かを書きますが、証明の途中で別の補題を証明しなければなりません。そこで Lemma をクリックすると、証明が「閉じ」ます。これを説明する適切な言葉がわかりません。Proof で Lemma を使用したいのですが、Proof は続行したいのです。どうすればそれができるのか、誰か説明してもらえますか? 私の質問が明確であれば幸いです。これらの用語はよくわかりません。ありがとうございます。
答え1
カーソルを Lemma 環境に置いて を押しますTab。Lemma が終了したら、separator（モジュールからも）を追加して証明を終了します。
LyX スクリーンショット
出力
