Theorem Set.map_eq_of_subset

Modification history