Nuprl Definition : m-not-reg

m-not-reg(d;s;n) ==  isl(m-reg-test(d;n;s;s n))


Definitions occuring in Statement :  m-reg-test: m-reg-test(d;b;s;x),  isl: isl(x),  apply: f a
Definitions occuring in definition :  isl: isl(x),  m-reg-test: m-reg-test(d;b;s;x),  apply: f a
FDL editor aliases :  m-not-reg
Latex:
m-not-reg(d;s;n)  ==    isl(m-reg-test(d;n;s;s  n))


Date html generated: 2019_10_30-AM-07_00_10
Last ObjectModification: 2019_10_03-AM-11_12_36

Theory : reals


Home Index