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.

simple way of assigning variables to numbers.( in case of list)

Last updated: Oct 04 2023 at 22:01 UTC