Fix test following https://github.com/rocq-prover/stdlib/pull/254#255
Merged
proux01 merged 1 commit intorocq-prover:masterfrom Apr 2, 2026
Merged
Fix test following https://github.com/rocq-prover/stdlib/pull/254#255proux01 merged 1 commit intorocq-prover:masterfrom
proux01 merged 1 commit intorocq-prover:masterfrom
