Adapt to rocq-prover/rocq#20813 (Update default hypothesis name in generated schemes)#176

ppedrot merged 1 commit into

rocq-prover:masterrocq-prover/stdlib:masterfrom

dhalilov:better-names-for-induction-principle-casesdhalilov/stdlib:better-names-for-induction-principle-casesCopy head branch name to clipboard