Theorem Holor.mul_left_distrib

Modification history