Theorem Set.inter_subset

Modification history