Commit 2024-10-07 20:10 a239b957

View on Github →

chore(*): drop some [Decidable*] assumptions (#17396) Related to #10235.

Estimated changes

modified theorem MvPolynomial.pderiv_rename