Nuprl Definition : pa-sep
pa-sep(p;x;y) == let n,a = x in let m,b = y in (¬(n = m ∈ ℤ)) ∨ p-sep(a;b)
Definitions occuring in Statement :
p-sep: p-sep(x;y),
not: ¬A,
or: P ∨ Q,
spread: spread def,
int: ℤ,
equal: s = t ∈ T
Definitions occuring in definition :
spread: spread def,
or: P ∨ Q,
not: ¬A,
equal: s = t ∈ T,
int: ℤ,
p-sep: p-sep(x;y)
FDL editor aliases :
pa-sep
Latex:
pa-sep(p;x;y) == let n,a = x in let m,b = y in (\mneg{}(n = m)) \mvee{} p-sep(a;b)
Date html generated:
2018_05_21-PM-03_28_14
Last ObjectModification:
2018_02_05-AM-10_48_32
Theory : rings_1
Home
Index