Theorem Set.inter_subset_inter_left

Modification history