generalize_eqs_vars fix incorrect selection of variables to generalize#22001

coqbot-app[bot] merged 2 commits into

rocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:gene-eqs-varsSkySkimmer/rocq:gene-eqs-varsCopy head branch name to clipboard