Commit 2024-07-30 12:27 2a73834e

View on Github →

chore(Combinatorics): remove superfluous use of DecidableEq (#15306) Found by the linter in #10235.

Estimated changes