Theorem not_and_distrib

Modification history