Adapt to https://github.com/rocq-prover/stdlib/pull/251 - #131

Adapt to https://github.com/rocq-prover/stdlib/pull/251#131

proux01 wants to merge 1 commit into

math-comp:mastermath-comp/algebra-tactics:masterfrom

proux01:stdlib251proux01/algebra-tactics:stdlib251Copy head branch name to clipboard