Adapt to https://github.com/rocq-prover/stdlib/pull/251#234
Draft
proux01 wants to merge 1 commit intoimpermeable:coq-masterfrom
Draft
Adapt to https://github.com/rocq-prover/stdlib/pull/251#234proux01 wants to merge 1 commit intoimpermeable:coq-masterfrom
proux01 wants to merge 1 commit intoimpermeable:coq-masterfrom
