Theorem Sum.elim_one_mulSingle

Modification history