🍊 Классификацию конечных простых групп целиком формализовали в Lean | Цифровая Переплавка | Дзен

Найти в Дзене

Подписки

Видеоигры

Всё о Дзене ИИ-ассистент Глиф Рейтинг СМИДзен на iOS и Android

2502164914.1323.1794279044114.40492