I have a goal in my coq and there is "&" sign in it. How can I deal with it?
I appreciate any help.
Regards