Nuprl Definition : lmin

lmin(s;as;bs) ==  as - (as - bs)


Definitions occuring in Statement :  diff: as - bs
Definitions occuring in definition :  diff: as - bs
Latex:
lmin(s;as;bs)  ==    as  -  (as  -  bs)


Date html generated: 2016_05_16-AM-07_40_36
Last ObjectModification: 2015_09_23-AM-09_51_43

Theory : list_2


Home Index