Theorem pow_mem_ball

Modification history