Theorem WithAbs.equiv_symm_mul

Modification history