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

Estimated changes