Theorem exists_mem_or_left

Modification history