Theorem Set.inter_nonempty

Modification history