Theorem SmoothPartitionOfUnity.smooth_finsum_smul

Modification history