Compatibility with Rocq (without coq shims)#1852

proux01 merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

proux01:rocqproux01/analysis:rocqCopy head branch name to clipboard