Commit 2025-02-15 16:42 0a7e5914

View on Github →

chore(FDeriv/Mul): drop unneeded DecidableEq assumptions (#21897) Found by the linters in #10235

Estimated changes