Theorem Set.inter_subset_inter

Modification history