Theorem CauSeq.Completion.inv_zero

Modification history