Theorem CauSeq.mul_equiv_mul

Modification history