Theorem Associates.count_mul

Modification history