Theorem Holor.mul_right_distrib

Modification history