Commit 2024-03-31 20:40 c5b05163

View on Github →

chore(Finset/Basic): drop an unneeded DecidableEq assumption (#11796)

Estimated changes