Theorem SmoothPartitionOfUnity.finsum_smul_mem_convex

Modification history