Adapt to https://github.com/rocq-prover/rocq/pull/21947#714

SkySkimmer merged 1 commit into

rocq-prover:mainrocq-prover/equations:mainfrom

proux01:rocq21947proux01/Coq-Equations:rocq21947Copy head branch name to clipboard