Theorem Set.inter_star

Modification history