Theorem edist_ofMul

Modification history