Theorem Set.star_univ

Modification history