Theorem Set.star_subset_star

Modification history