[vernac] refine check for unresolved evars#12759

coqbot merged 1 commit intorocq-prover:masterrocq-prover/rocq:masterfrom

gares:fix-prepare-definitiongares/coq:fix-prepare-definitionCopy head branch name to clipboard