Nuprl Definition : pizero
pizero() == <"zero", ⋅>
Definitions occuring in Statement :
it: ⋅,
pair: <a, b>,
token: "$token"
FDL editor aliases :
pizero
Latex:
pizero() == <"zero", \mcdot{}>
Date html generated:
2015_07_23-AM-11_32_00
Last ObjectModification:
2014_05_04-PM-08_18_40
Home
Index