Adapt to rocq-prover/rocq#21987 (clear checks ids are bound even when from match goal)#23
Open
SkySkimmer wants to merge 1 commit into
Open
Adapt to rocq-prover/rocq#21987 (clear checks ids are bound even when from match goal)#23SkySkimmer wants to merge 1 commit into
SkySkimmer wants to merge 1 commit into