Theorem Associates.out_mul

Modification history