Commit 2024-07-28 18:21 812fe714

View on Github →

chore(Combinatorics): drop some DecidableEq assumptions (#15233)

Estimated changes