Nuprl Definition : dl-implies-2
dl-implies-2(x) == snd(x).1
Definitions occuring in Statement :
select-tuple: x.n,
pi2: snd(t),
natural_number: $n
Definitions occuring in definition :
select-tuple: x.n,
pi2: snd(t),
natural_number: $n
FDL editor aliases :
dl-implies-2
Latex:
dl-implies-2(x) == snd(x).1
Date html generated:
2019_10_15-AM-11_41_14
Last ObjectModification:
2019_03_26-AM-11_17_21
Theory : dynamic!logic
Home
Index