odd-order icon indicating copy to clipboard operation
odd-order copied to clipboard
verified publisher icon math-comp

adapt to rocq#19987

Open Tragicus opened this issue 9 months ago • 0 comments

There is a rewrite that triggers a higher order unification problem whose RHS changes due to https://github.com/coq/coq/pull/19987. The rewrite was not actually needed, so I bypassed it.

Tragicus avatar Mar 21 '25 13:03 Tragicus