Theorem Finset.attach_image_val

Modification history