Theorem CauSeq.Completion.mk_sub

Modification history