Theorem Set.inter_subset_right

Modification history