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

`rewrite (can_eq (dprod_IirrK _))` is slow

Open pi8027 opened this issue 1 year ago • 0 comments

I'm observing the issue that rewrite (can_eq (dprod_IirrK _)) or just type-checking can_eq (dprod_IirrK _) is surprisingly slow in PFsection4.v. We need to investigate it.

pi8027 avatar Jul 02 '24 13:07 pi8027