Adapt to rocq-prover/rocq#22001 (less agressive generalization in dependent induction)#284

YaZko merged 1 commit into

DeepSpec:masterDeepSpec/InteractionTrees:masterfrom

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