Correctly implement δ-resolver lift for modules. - #22451

Correctly implement δ-resolver lift for modules.#22451

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

ppedrot:module-delta-resolver-proper-liftppedrot/coq:module-delta-resolver-proper-liftCopy head branch name to clipboard