Oℕ
supp(pi) = {a : pi, pi(a) != a) ?
: piSize: a a a
2020 August 03
AG
в смысле
Oℕ
так энвармент и есть пара из пермутации и атомов
я подумал почему-то что это а-ля уже с соответствиями символов термам
AG
a это ж термOℕ
a это ж термa - атом
AG
а смысл пермутацию к атому применять
w
а смысл пермутацию к атому применять
Эх, сча бы применять
Oℕ
пермутация - это же переименование - так?
Oℕ
частичная функция из атомов в атомы инъективная
KS
@Mrsameman даже академики встряли
Тебе всё ещё не стыдно?
S
Kirill Shelopugin
Дайте тлдр за день.
Фрустрировали Олега, извинились за это.
Различаем х от х.
Ромбик - пизда робота.
Различаем х от х.
Ромбик - пизда робота.
KS
Опять Олега все обижают, а он обижается? Ох, что же это такое. Не Олег, а Тревис Браун какой-то.
R
нашутился?
KS
нашутился?
Уточняю.
Oℕ
saturated значит, что финитное множество атомов и пермутация для всех определена?
KC
Kirill Shelopugin
Дайте тлдр за день.
Челы думают что ты несколькими аккаунтами срешь в основу
KS
Челы думают что ты несколькими аккаунтами срешь в основу
А почему я?