```
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: Oct 05 2023 at 02:01 UTC