Theorem Fintype.coe_image_univ

Modification history