Adapt to https://github.com/rocq-prover/rocq/pull/21851#1929

proux01 merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

proux01:rocq21851proux01/analysis:rocq21851Copy head branch name to clipboard