[MC2] Adapt to math-comp/math-comp#1131#1111

proux01 merged 1 commit intohierarchy-buildermath-comp/analysis:hierarchy-builderfrom

hierarchy-builder-function_scopemath-comp/analysis:hierarchy-builder-function_scopeCopy head branch name to clipboard