Theorem edist_toMul

Modification history