Nuprl Definition : monus
(a--b) == if a <z b then 0 else a - b fi
Definitions occuring in Statement :
lt_int: i <z j,
ifthenelse: if b then t else f fi ,
subtract: n - m,
natural_number: $n
FDL editor aliases :
monus
monus
(a--b) == if a <z b then 0 else a - b fi
Date html generated:
2013_03_20-AM-10_37_51
Last ObjectModification:
2013_03_16-AM-06_23_16
Home
Index