Nuprl Definition : pDVfire
pDVfire() == inr inr inr inr (inl ⋅)
Definitions occuring in Statement :
it: ⋅,
inr: inr x ,
inl: inl x
FDL editor aliases :
pDVfire
Latex:
pDVfire() == inr inr inr inr (inl \mcdot{})
Date html generated:
2015_07_23-AM-11_34_37
Last ObjectModification:
2012_08_30-PM-01_42_34
Home
Index