Theorem BEx.imp_right

Modification history