Theorem DFinsupp.inner_sum

Modification history