sara lee (Feb 05 2023 at 16:27): sara lee (Feb 05 2023 at 16:27):I have (z:nat nat) notation and following list.
[z:3 4; z:6 7;z:5 3].
Want to replace 3 4 with a1 b1 so that it become [z:a1 b1; z:a2 b2; z:a3 b3].
Just show/assign variables instead of natural numbers. I am giving increment but don't know how to replace natural number with variable along with increment. Plz guide me.
sara lee (Feb 07 2023 at 13:37):simple way of assigning variables to numbers.( in case of list)
Last updated: Apr 18 2024 at 18:01 UTC