Recommand · May 25, 2021 0

Dealing with and sign in goal

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

I appreciate any help.

Regards