Theorem SmoothPartitionOfUnity.sum_finsupport_smul_eq_finsum

Modification history