[Merged by Bors] - chore(Data/Finset): don't import algebra in Finset.Lattice.Fold
#38763
| Job | Run time |
|---|---|
| 2s | |
| 2s |
Finset.Lattice.Fold
#38763
| Job | Run time |
|---|---|
| 2s | |
| 2s |