Theorem dist_ofMul

Modification history