Theorem Set.star_empty

Modification history