Theorem Set.inter_nonempty_iff_exists_left

Modification history