37:11
HoTT 6: 1-типы и группоиды
Что значит слово "группоид"? Как это понять?..
Modal body text goes here.
Что значит слово "группоид"? Как это понять?..