Nuprl Definition : pi2
snd(t) == let x,y = t in y
Definitions occuring in Statement :
spread: spread def
Definitions occuring in definition :
spread: spread def
Rules referencing :
equalityEqualityBase,
ispairCases
FDL editor aliases :
pi2
Latex:
snd(t) == let x,y = t in y
Date html generated:
2016_05_13-PM-03_04_38
Last ObjectModification:
2015_09_22-PM-05_43_41
Theory : core_2
Home
Index