Defunctionalize the proof term in Rewrite internals.#22046

ppedrot wants to merge 2 commits into

rocq-prover:masterrocq-prover/rocq:masterfrom

ppedrot:rewrite-defunctionalize-proofppedrot/coq:rewrite-defunctionalize-proofCopy head branch name to clipboard