У меня есть вопрос по LyX. Когда я использую, например, Proof, я пишу что-то, но в середине доказательства мне нужно доказать еще одну лемму. Поэтому я нажимаю Lemma, но это ''закрывает'' доказательство. Я не знаю правильного слова, чтобы это объяснить. Я хочу использовать Lemma в Proof, но я хочу, чтобы Proof продолжился. Может кто-нибудь объяснить мне, как это сделать? Надеюсь, мой вопрос был понятен. Я не очень знаю термины для этих вещей. Спасибо.
решение1
Вы можете поместить курсор в среду Lemma и нажать Tab. Когда закончите с Lemma, добавьте separator(также из модулей) и закончите доказательство.
Скриншот LyX
Выход
