Theorem ContinuousLinearMap.comp_finset_sum

Modification history