Theorem Finset.coe_map_subset_range

Modification history