КТ ИТМО, ТТ 2024, лекция 9 (Аксиома выбора в HoTT, сетоиды)

Просмотров: 1 | Время: 55:16 | Голосов: +1 +1 | Скачать

Скачать клип КТ ИТМО, ТТ 2024, лекция 9 (Аксиома выбора в HoTT, сетоиды)