Nuprl Definition : lg-size

lg-size(g) ==  ||g||


Definitions occuring in Statement :  length: ||as||
FDL editor aliases :  lg-size
Latex:
lg-size(g)  ==    ||g||


Date html generated: 2016_05_17-AM-10_07_45
Last ObjectModification: 2012_02_25-PM-03_33_31

Theory : process-model


Home Index