2 lines
21 B
Text
2 lines
21 B
Text
|
|
multiply(a,b) <= a*b
|
|
|
multiply(a,b) <= a*b
|