Википедия:К переименованию/29 декабря 2023

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Описанный в статье результат в англовике именуется леммой. Кстати, лемму доказал Линдлёф или ЛиндЕлёф? Пингую автора статьи. 2A00:1FA0:48FC:D3F6:0:E:6779:DE01 06:00, 29 декабря 2023 (UTC)