GP
Size: a a a
2021 March 15
GP
шото были умные слова
λ
pohiy
Это укро фамилия?
GP
конгруенция типо
GP
Это укро фамилия?
это система контроля версий
λ
не отвлекай его
E
Изоморфно
спасибо
M
чулочки?
Это не такие
M
Через недели 2 покажу нормальные
AG
как читается
≅ в ∀x. (id <$> x) ≅ xя бы сказал тождественно
AG
оч интересно найдут ли фавония со стерлингом ресерч программера для култт
AT
я бы сказал тождественно
меня смущает загогулинка сверху
тождество обычно ≡ обозначают
тождество обычно ≡ обозначают
AG
загогулинку зря нарисовали да
БВ
меня смущает загогулинка сверху
тождество обычно ≡ обозначают
тождество обычно ≡ обозначают
Слон же ответил правильно уже
AG
там же не пруф-релевантное соответствие
AT
в латехе та штука
\cong называетсяAT
конгруентность