Nuprl Definition : find-random

find-random{$k}(C;p;a;b) ==  PRIMITIVE


FDL editor aliases :  find-random
find-random\{\$k\}(C;p;a;b)  ==    PRIMITIVE


Date html generated: 2015_07_17-AM-08_04_28
Last ObjectModification: 2008_02_27-PM-05_50_24

Home Index