Theorem ball_mem_comm

Modification history