Adapt to rocq-prover/rocq#22070.#721

SkySkimmer merged 1 commit into

rocq-prover:mainrocq-prover/equations:mainfrom

ppedrot:kernel-abstract-univ-inductiveppedrot/equations:kernel-abstract-univ-inductiveCopy head branch name to clipboard