Theorem distrib_three_right

Modification history