Theorem right_distrib

Modification history