Theorem BAll.imp_right

Modification history