Theorem CauSeq.mul_inv_cancel

Modification history