Oℕ
там где ds да
Size: a a a
2020 August 03
Oℕ
дизжойн сет?
R
типа еси две различные перестановки не находятся при инстанциировании Х
Oℕ
# это же отношение свежести
Oℕ
что такое ds
Oℕ
что его можно в этом отношении использовать
ᛒ
типа еси две различные перестановки не находятся при инстанциировании Х
там разве не ид были
Oℕ
ета преза есть?
R
там разве не ид были
пи разве не перестановка?
AG
перестановка да
Oℕ
что такое sd
Oℕ
и почему мы можем писать её слева от хеша?
Oℕ
множество всех имён, на которых перестановки не совпадают?
Oℕ
и если это множество, что что оно значит слева от хеша
Oℕ
типа для каждого имени ?
ᛒ
и почему мы можем писать её слева от хеша?
cc @clayrat