Prepare for https://github.com/rocq-prover/stdlib/pull/251 (micromega, tify)#21842
Open
fajb wants to merge 1 commit intorocq-prover:masterfrom
Open
Prepare for https://github.com/rocq-prover/stdlib/pull/251 (micromega, tify)#21842fajb wants to merge 1 commit intorocq-prover:masterfrom
fajb wants to merge 1 commit intorocq-prover:masterfrom
