Theorem Ball.imp_right

Modification history