Restore historical ssreflect rewrite goal ordering - #76

Draft

JasonGross wants to merge 1 commit into

rocq-community:masterfrom

theorem-labs:claude/rocq-dev-compat

Commits on Jul 28, 2026

Set SsrOldRewriteGoalsOrder globally

JasonGross
and
claude
committed