Theorem And.imp_right

Modification history