Theorem CauSeq.Completion.mk_eq_mk

Modification history