Расширенный набор лемм

Подтвердите удаление

Вы уверены, что хотите удалить эту сущность? Expanded Lemma Set?