Commit 2025-03-03 10:07 39f0d593

View on Github →

feat(Finset/Image): add Finset.coe_fin (#22487) Also add fin_subset_fin and golf subset_image_iff.

Estimated changes