Theorem inv_ball

Modification history