Talk:C^k Norm is Norm
Jump to navigation
Jump to search
sum of non-negatives is zero if every element is zero
This proof has a link to "sum of non-negatives is zero if every element is zero".
Do we have this theorem? I didn't find it by searching.
Maybe it is a property of Ordered Field? --Hbghlyj (talk) 01:04, 18 March 2024 (UTC)