Nuprl Definition : bpa-mul
bpa-mul(p;x;y) == let n,a = x in let m,b = y in <n + m, a * b>
Definitions occuring in Statement :
p-mul: x * y,
spread: spread def,
pair: <a, b>,
add: n + m
Definitions occuring in definition :
spread: spread def,
pair: <a, b>,
add: n + m,
p-mul: x * y
FDL editor aliases :
bpa-mul
Latex:
bpa-mul(p;x;y) == let n,a = x in let m,b = y in <n + m, a * b>
Date html generated:
2018_05_21-PM-03_23_42
Last ObjectModification:
2018_02_03-AM-00_52_54
Theory : rings_1
Home
Index