Commit 2024-10-07 13:31 685ce1b1
View on Github →chore(Data/Finset): subset_image_iff about finsets (#17036)
State subset_image_iff
for finsets, and rename the existing set/finset version to a more appropriate name. Also make the analogous change for image2