Nuprl Definition : OARcast_oastate_init

OARcast_oastate_init(M) ==  <[], 0, []>



Definitions occuring in Statement :  nil: [] pair: <a, b> natural_number: $n
FDL editor aliases :  OARcast_oastate_init

Latex:
OARcast\_oastate\_init(M)  ==    <[],  0,  []>



Date html generated: 2015_07_23-PM-00_31_04
Last ObjectModification: 2014_08_20-PM-00_03_02

Home Index