Skip to content

experimental_reals: make psumZ rewrite direction explicit - #2054

Draft
JasonGross wants to merge 1 commit into
math-comp:masterfrom
JasonGross:codex/rocq-dev-experimental-reals
Draft

experimental_reals: make psumZ rewrite direction explicit#2054
JasonGross wants to merge 1 commit into
math-comp:masterfrom
JasonGross:codex/rocq-dev-experimental-reals

Commits

  1. Commits on Jul 28, 2026