Theorem Set.empty_diff

Modification history