Theorem left_distrib

Modification history