Theorem WithAbs.equiv_mul

Modification history