Nuprl Definition : piM

piM(T) ==  PiDataVal()



Definitions occuring in Statement :  PiDataVal: PiDataVal()
FDL editor aliases :  piM

Latex:
piM(T)  ==    PiDataVal()



Date html generated: 2015_07_23-AM-11_36_13
Last ObjectModification: 2012_08_30-PM-01_45_29

Home Index