Theorem BAll.imp_left

Modification history