Commit 2025-03-28 22:29 b49331ad
View on Github →refactor(Data/Finset): reverse Finset.Image
<-> Finset.SymmDiff
import (#23398)
I noticed while looking at the long pole that Finset.SymmDiff
is not required anywhere on the pole, so if we reverse the import direction between it and Finset.Image
we can make the import graph a little bit less tall.