Skip to content

use ssreflect rewrite for multiset tactics

Ralf Jung requested to merge ralf/multiset-solver into master

Fixes #195 (closed)

Unfortunately I don't know how to condense this into a testcase, the issue needs canonical structure shenanigans to occur.

Merge request reports