Theorem DFinsupp.lsum_lsingle

Modification history