Theorem imp_and_distrib

Modification history