Support generalized rewriting in let bindings#20985

mattam82 wants to merge 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

mattam82:rewrite-in-letsmattam82/rocq:rewrite-in-letsCopy head branch name to clipboard