Nuprl Definition : index-of-min

index-of-min(zs) ==  fst(index-min(zs))


Definitions occuring in Statement :  index-min: index-min(zs),  pi1: fst(t)
Definitions occuring in definition :  pi1: fst(t),  index-min: index-min(zs)
FDL editor aliases :  index-of-min
Latex:
index-of-min(zs)  ==    fst(index-min(zs))


Date html generated: 2016_05_14-AM-06_55_34
Last ObjectModification: 2015_12_22-AM-08_20_54

Theory : omega


Home Index