Theorem Finset.map_subset_map

Modification history