Nuprl Definition : mu

mu(f) ==  mu-ge(f;0)


Definitions occuring in Statement :  mu-ge: mu-ge(f;n),  natural_number: $n
Definitions occuring in definition :  mu-ge: mu-ge(f;n),  natural_number: $n
FDL editor aliases :  mu
Latex:
mu(f)  ==    mu-ge(f;0)


Date html generated: 2016_05_14-AM-07_29_27
Last ObjectModification: 2015_09_22-PM-05_46_30

Theory : int_2


Home Index