Theorem CauSeq.Completion.mk_mul

Modification history