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.

Estimated changes