Theorem Set.inter_nonempty_iff_exists_right

Modification history