December 24, 2018

Полный словарь нетривиальных fr-предложений со словами длины не больше трех. Таки возник новый функтор — фактор тензорного квадрата g^2 по хитрому кручению. "\oplus" — функториально нерасщепимое расширение.