Theorem Set.star_subset

Modification history