Adapt to https://github.com/rocq-prover/rocq/pull/17876#16
Open
proux01 wants to merge 1 commit into
Open
Adapt to https://github.com/rocq-prover/rocq/pull/17876#16proux01 wants to merge 1 commit into
proux01 wants to merge 1 commit into