Nuprl Definition : ses-key-rel
MatchingKeys(k1;k2) == ↑((fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(s))))))))))) k1 k2)
Definitions occuring in Statement :
assert: ↑b,
pi1: fst(t),
pi2: snd(t),
apply: f a
FDL editor aliases :
ses-key-rel
Latex:
MatchingKeys(k1;k2) == \muparrow{}((fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(s))))))))))) k1 k2)
Date html generated:
2015_07_23-PM-00_03_50
Last ObjectModification:
2012_08_30-PM-02_30_20
Home
Index