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
.
feat(Finset/Image): add Finset.coe_fin
(#22487)
Also add fin_subset_fin
and golf subset_image_iff
.