Ich habe eine Frage zu LyX. Wenn ich beispielsweise Proof verwende, schreibe ich etwas, aber mitten im Beweis muss ich ein anderes Lemma beweisen. Also klicke ich auf Lemma, aber der Beweis wird „geschlossen“. Ich weiß nicht wirklich das richtige Wort, um es zu erklären. Ich möchte Lemma im Proof verwenden, aber ich möchte, dass die Beweissache fortgesetzt wird. Kann mir jemand erklären, wie ich das mache? Ich hoffe, meine Frage war klar. Ich kenne die Begriffe für diese Dinge nicht wirklich. Danke.
Antwort1
Sie können den Cursor in die Lemma-Umgebung setzen und drücken Tab. Wenn Sie mit dem Lemma fertig sind, fügen Sie ein hinzu separator(auch aus den Modulen) und beenden Sie den Beweis.
LyX-Screenshot
Ausgabe
