Theorem Finset.map_eq_image

Modification history