Kevin Buzzard: "What is the point of Lean's maths library?"

Игра Марио

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

Скачать клип Kevin Buzzard: "What is the point of Lean's maths library?"