Theorem Set.nonempty_diff

Modification history