```
n1*n2*n3<b /\ b1<=b2 ( All variables are of type nat).
```

I have two data types one for the multiplication of three numbers and second for esteblishing all possible relation between two variable. Want to ask how to link both data types to prpve above ?

Last updated: Jun 18 2024 at 08:01 UTC