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

proux01 merged 1 commit into

math-comp:mastermath-comp/hierarchy-builder:masterfrom

proux01:rocq21851proux01/hierarchy-builder:rocq21851Copy head branch name to clipboard