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