Fix rewrite in * side conditions#915

maximedenes merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

herbelin:master+fix-rewrite-in-all-side-conditionsherbelin/github-coq:master+fix-rewrite-in-all-side-conditionsCopy head branch name to clipboard