Add a generic mechanism for rewriting with any equality satisfying J#21098

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

tabareau:sortpoly-equalitytabareau/rocq:sortpoly-equalityCopy head branch name to clipboard