Cleanup now that we require Rocq >= 9.0 - #599

Cleanup now that we require Rocq >= 9.0#599

proux01 merged 2 commits into

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

proux01:cleanupproux01/hierarchy-builder:cleanupCopy head branch name to clipboard