[ssreflect] Use rw instead of rewrite to avoid conflicts with legacy tactic#21478

coqbot-app[bot] merged 11 commits into

rocq-prover:masterrocq-prover/rocq:masterfrom

proux01:ssreflect-rwproux01/rocq:ssreflect-rwCopy head branch name to clipboard