Commit 2024-05-01 23:24 6a6473d9

View on Github →

chore: Rename Finset.inter_sdiff to Finset.inter_sdiff_assoc (#12573) ... and turn it around. This matches Set.inter_diff_assoc.

Estimated changes

modified theorem Finset.inter_sdiff