Adapt to https://github.com/rocq-prover/stdlib/pull/251#712
Draft
proux01 wants to merge 1 commit intorocq-prover:mainfrom
Draft
Adapt to https://github.com/rocq-prover/stdlib/pull/251#712proux01 wants to merge 1 commit intorocq-prover:mainfrom
proux01 wants to merge 1 commit intorocq-prover:mainfrom
