Theorem CauSeq.Completion.mk_eq_zero

Modification history