Theorem Finset.coe_image

Modification history