setoid rewriting: improve support for forall_relation#21560
Open
MathisBD wants to merge 1 commit intorocq-prover:masterfrom
Open
setoid rewriting: improve support for forall_relation#21560MathisBD wants to merge 1 commit intorocq-prover:masterfrom
MathisBD wants to merge 1 commit intorocq-prover:masterfrom
